Tag: induction variable elimination