Test R+o-mb-o+o-wb-o2

LISA R+o-mb-o+o-wb-o2
(* Allow due to it being allowed PowerPC. *)
{
x = 0;
y = 0;
}
 P0           | P1           ;
 w[once] y 2  | w[once] x 1  ;
 f[mb]        | f[wmb]       ;
 r[once] r2 x | w[once] y 1  ;
Observed
    y=2; 0:r2=0;