Added a description of variable renaming when converting to SSA