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=1; 0:r0=x;