Test rfe-acq-rmb

LISA rfe-acq-rmb
(* Result: Maybe *)
{
}
 P0          | P1              | P2           ;
 w[once] x 1 | r[acquire] r1 x | r[once] r2 y ;
             | w[once] y 1     | f[rmb]       ;
             |                 | r[once] r3 x ;
Observed
    2:r3=0; 2:r2=1; 1:r1=1;