LISA MP+o-mb-o+o-addr-o { a = 1; b = 42; x = b; 0:r0 = a; } P0 | P1 ; w[once] a 3 | r[once] r1 x ; f[mb] | ; w[once] x r0 | r[once] r2 r1 ; Observed 1:r2=1; 1:r1=a;