Dependency bug in using eqn for destruct.
Optimizing when to clear generalized hypotheses in destruct.

Removing blocking of generalization on destructed hypothesis
introduced on Nov 2. It was a bad idea as shown by bug #3790 on
eliminating v:Vector n, keeping an equality.
Restoring clear_flag (thanks a lot to jonikelee to notice it).