Remember that the induction variable is always a PHINode and