Run CoWR in model, using armmem
ARM CoWR () "CoWR" { P0:R5=x; P1:R5=x; } P0 | P1 ; mov R1,1 |mov R1,2 ; str R1,R5 |str R1,R5 ; ldr R2,R5 | ; ~exists (x=1 /\ P0:R2=2)