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

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