Induction variable elimination