Wickerson() [emp] { X = new(); X -> dta = 3; Y1 = new(); Y1 -> dta = 5; Y2 = new(); Y2 -> dta = 1; r = X -> dta; Y2 -> dta = 6; dispose Y1; } [X |-> dta:3 * Y2 |-> dta:6 * (r == 3)]