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

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