Induction variable recognition and elimination

Redirect to: