Changed semantics of induction !id when a clause is given: don't
authoritatively erase non-generalized hypotheses dependent on id.
Adapting to naming of evars.