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

LISA dist-2+2w+rel+acq-o+o-wmb-o
{
x = 0;
y = 0;
}
 P0             | P1              | P2           ;
 w[release] x 1 | r[acquire] r1 x | w[once] y 1  ;
                |                 | f[wmb]       ;
                | w[once] y 2     | w[once] x 2  ;
Observed
    y=1; x=1; 1:r1=1;