Test LISA-bigdetour-failure

LISA LISA-bigdetour-failure
"PodWWOnceRelease RfeReleaseOnce DpAddrdROnceOnce FrLeaveOnceOnce RfeOnceOnce PodRWOnceRelease RfBackReleaseOnce DpAddrdROnceOnce FreOnceOnce"
Prefetch=0:x=F,0:y=W,1:y=F,1:x=T,3:z=F,3:a=W
Com=Rf Fr Rf Rf
Orig=PodWWOnceRelease RfeReleaseOnce DpAddrdROnceOnce FrLeaveOnceOnce RfeOnceOnce PodRWOnceRelease RfBackReleaseOnce DpAddrdROnceOnce FreOnceOnce
{
}
 P0             | P1                | P2          | P3             ;
 w[once] x 1    | r[once] r0 y      | w[once] z 1 | r[once] r0 z   ;
 w[release] y 1 | mov r1 (and r0 8) |             | w[release] a 1 ;
                | f[rb_dep]         |             |                ;
                | r[once] r2 z+r1   |             |                ;
                | r[once] r3 a      |             |                ;
                | mov r4 (and r3 8) |             |                ;
                | f[rb_dep]         |             |                ;
                | r[once] r5 x+r4   |             |                ;
Observed
    3:r0=1; 1:r5=0; 1:r3=1; 1:r2=1; 1:r0=1;
and 3:r0=0; 1:r5=0; 1:r3=1; 1:r2=1; 1:r0=1;
and 3:r0=1; 1:r5=0; 1:r3=0; 1:r2=1; 1:r0=1;
and 3:r0=0; 1:r5=0; 1:r3=0; 1:r2=1; 1:r0=1;
and 3:r0=0; 1:r5=0; 1:r3=1; 1:r2=0; 1:r0=1;
and 3:r0=1; 1:r5=0; 1:r3=0; 1:r2=0; 1:r0=1;
and 3:r0=0; 1:r5=0; 1:r3=0; 1:r2=0; 1:r0=1;