r: a -> b{b_01}
where
if id then
b{b_02} := 5
else
b{b_01} := 6
end

Renaming b fails to preserve semantics because b’s in “then” and “else” blocks do not have the same unique name

Submitted by Maartje on 6 September 2011 at 14:17