induction variable analysis