Test TC7

LISA TC7
(*
 * Result: Sometimes
 *
 * http://www.cs.umd.edu/~pugh/java/memoryModel/unifiedProposal/testcases.html
 *
 * Decision: Allowed. Intrathread transformations could move r1 = z to
 * after the last statement in thread 1, and x = 1 to before the
 * first statement in thread 2.
 *)
{
x = 0;
y = 0;
z = 0;
}
 P0                 | P1           ;
 r[once] r1 z       | r[once] r3 y ;
 r[once] r2 x       | w[once] z r3 ;
 w[once] y r2       | w[once] x 1  ;
Observed
    1:r3=1; 0:r2=1; 0:r1=1;
and 1:r3=1; 0:r2=1; 0:r1=0;