Test Z3-floating-relacq

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

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