else branching fixed
enabled SSA renaming