Test CoRR2

PPC CoRR2 (CoTwo)
"Coherence tests, double observer"
{
P0:r5=x ; P0:r1=1 ;
P1:r5=x ; P1:r2=2 ;
P2:r5=x ;
P3:r5=x ;
}
P0          |P1          |P2          |P3          ;
stw r1,0(r5)|stw r2,0(r5)|lwz r1,0(r5)|lwz r1,0(r5);
            |            |lwz r2,0(r5)|lwz r2,0(r5);
exists (2:r1=1 /\ 2:r2=2 /\ 3:r1=2 /\ 3:r2=1 \/ 2:r1=2 /\ 2:r2=1 /\ 3:r1=1 /\ 3:r2=2)