Test LB+o-mb-o+o-rmb-o

LISA LB+o-mb-o+o-rmb-o
(* Allow, rmb orders only reads. *)
{
x = 0;
y = 0;
}
P0              | P1              ;
r[once] r1 x    | r[once] r3 y    ;
f[mb]           | f[rmb]          ;
w[once] y 1     | w[once] x 1     ;
Observed
    1:r3=1; 0:r1=1;