Test alt-ww-rw+rel+acq-rel+acq-o+o-wb-rel+acq-o+o-wb-o

LISA alt-ww-rw+rel+acq-rel+acq-o+o-wb-rel+acq-o+o-wb-o 
{
x = 0;
y = 0;
}
 P0             | P1              | P2              | P3             | P4              | P5           ;
 w[release] x 1 | r[acquire] r1 x | r[acquire] r2 y | w[once] z 2    | r[acquire] r3 a | w[once] c 2  ;
                |                 |                 | f[wmb]         |                 | f[wmb]       ;
                | w[release] y 1  | w[once] z 1     | w[release] a 1 | w[once] c 1     | w[once] x 2  ;
Observed
    z=2; x=2; c=2; 4:r3=1; 2:r2=1; 1:r1=2;
and z=2; x=1; c=2; 4:r3=1; 2:r2=1; 1:r1=2;
and z=2; x=1; c=2; 4:r3=1; 2:r2=1; 1:r1=1;