Useless tactic bindings in Tacticals.
Potentially unused computation in Goal.