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;