Test R+o-mb-o+o-rmb-o2

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