Executions for behaviour: "x=1"
"x=1"
Executions for behaviour: "x=2"
"x=2"
ARM CoWW () "CoWW" { P0:R5=x; P0:R1=1; P0:R2=2; } P0 ; str R1,R5 ; str R2,R5 ; exists (x=1) \/ (x=2)