== test5 == fun test5() { var a: Int try { a = 3 } finally { a = 5 } a.hashCode() } --------------------- 3 : Int NEW: r(3) -> a = 3 !: * { a = 3 } !: * COPY 5 : Int NEW: r(5) -> a = 5 !: * { a = 5 } !: * COPY try { a = 3 } finally { a = 5 } : * NEW: merge(try { a = 3 } finally { a = 5 }|!) -> a : {<: Any} NEW: r(a) -> hashCode() : * NEW: call(hashCode(), hashCode|) -> a.hashCode() : * COPY { var a: Int try { a = 3 } finally { a = 5 } a.hashCode() } : * COPY =====================