generated ssa for if statement