Test Z3-floating

LISA Z3-floating
(* Z3 variant with floating read *)
{

}
 P0                | P1          | P2          ;
 r[once] r0 x      | w[once] y 1 | w[once] z 2 ;
 mov r1 (and r0 8) | f[wmb]      | f[wmb]      ;
 r[once] r2 y+r1   | w[once] z 1 | w[once] x 1 ;
 r[once] r3 z      |             |             ;
Observed
    z=2; 0:r3=1; 0:r2=0; 0:r0=1;