started fixing phi nodes in if clauses