Test Alan06

LISA Alan06
(* smp_wmb is not cumulative *)
{ }
 P0             | P1            | P2            ;
 w[once] x 1    | r[once] r1 y  | r[once] r2 z  ;
 f[wmb]         | w[once] z r1  | f[rmb]        ;
 w[once] y 1    |               | r[once] r3 x  ;
Observed
    2:r3=0; 2:r2=1; 1:r1=1;