Test RelSeq01

AArch64 RelSeq01
{
0:X0=x;
1:X0=x;
2:X0=x; 2:X1=y;
3:X0=y; 3:X1=x;
0:X1=1;
1:X3=2;
3:X2=1;
}
 P0           | P1              | P2           | P3           ;
 STLR W1,[X0] | LDXR W1,[X0]    | LDAR W2,[X0] | STLR W2,[X0] ;
              | STXR W2,W3,[X0] | LDR  W3,[X1] | LDAR W3,[X1] ;
~exists (x=2 /\ 1:X1=1 /\ 1:X2=0 /\ 2:X2=2 /\ 2:X3=0 /\ 3:X3=0)