Test WRC+rel+acq-o+o-rb-o

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