Test super-dist-2+2w+rel+acq-rel+acq-o+o-wmb-o+o-wmb-o

LISA super-dist-2+2w+rel+acq-rel+acq-o+o-wmb-o+o-wmb-o (*Paul says allowed*) 
{
x = 0;
y = 0;
}
 P0             | P1              | P2              | P3          | P4           ;
 w[release] x 1 | r[acquire] r1 x | r[acquire] r2 y | w[once] z 2 | w[once] a 2  ;
                |                 |                 | f[wmb]      | f[wmb]       ;
                | w[release] y 1  | w[once] z 1     | w[once] a 1 | w[once] x 2  ;
Observed
    z=2; x=2; a=2; 2:r2=1; 1:r1=2;
and z=2; x=1; a=2; 2:r2=1; 1:r1=2;
and z=2; x=1; a=2; 2:r2=1; 1:r1=1;