Test LB+o-o+o-o

LISA LB+o-o+o-o
{
x = 0;
y = 0;
}
P0              | P1              ;
r[once] r1 x    | r[once] r3 y    ;
w[once] y 1     | w[once] x 1     ;
Observed
    1:r3=1; 0:r1=1;