Induction variable analysis