Test Z3-relacq

LISA Z3-relacq
(* Z3 variant *)
{

}
 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   |                |                ;

Observed
    z=2; 0:r2=0; 0:r0=1;