X86 X057 "Fre PodWW Wse PodWW Wse PodWW Wse PodWR" {} P0 | P1 | P2 | P3 ; MOV [a],$1 | MOV [x],$2 | MOV [y],$2 | MOV [z],$2 ; MOV [x],$1 | MOV [y],$1 | MOV [z],$1 | MOV EAX,[a] ; forall (3:EAX=1 /\ ([x]=2 /\ ([y]=2 /\ ([z]=2 \/ [z]=1) \/ [y]=1 /\ ([z]=2 \/ [z]=1)) \/ [x]=1 /\ ([y]=2 /\ ([z]=2 \/ [z]=1) \/ [y]=1 /\ ([z]=2 \/ [z]=1))) \/ 3:EAX=0 /\ ([x]=2 /\ ([y]=2 /\ ([z]=1) \/ [y]=1 /\ ([z]=2 \/ [z]=1)) \/ [x]=1 /\ ([y]=2 /\ ([z]=2 \/ [z]=1) \/ [y]=1 /\ ([z]=2 \/ [z]=1))))