Induction variables must be phi nodes