fixed a bug with clear_vars, a tactic that remove all hypotheses connected with a set of variables.