Removing dead code in Tactics.