Test LISA-super-detour1

LISA LISA-super-detour1

{ y=a; v=a; w=a; 2:r9=x; 1:r9=u; }


 P0             | P1             | P2          | P3           ;
 r[lderef] r0 v | w[once] x 1    | w[once] u 1 | r[once] r4 w ;
 r[once] r1 r0  | w[release] y r9| f[wmb]      | w[once] v r4 ;
 r[lderef] r2 y |                | w[once] w r9|              ;
 r[once] r3 r2  |                |             |              ;

Observed
    3:r4=x; 0:r3=0; 0:r2=u; 0:r1=0; 0:r0=x;