Test CoRR1

Run CoRR1 in model, using ppcmem

PPC CoRR1 (AlphaOne)
"Alpha litmus tests, 1"
{
  0:r5=x ; 0:r2=2 ; x=1 ;
  1:r5=x ; 
}

P0           | P1           ;
stw r2,0(r5) | lwz r1,0(r5) ;
             | lwz r2,0(r5) ;
~exists (1:r1=2 /\ 1:r2=1)