Fix the check for dependent goal in generalize_sig
Fix the check for dependent goal in generalize_sig

There is a lot of code duplication in this tactic, but
I'm not sure how to reduce it.

mattam82/Coq-Equations,mattam82/Coq-Equations,clarus/Coq-Equations