Induction Variable Recognition and Substitution