Induction variable recognition and elimination