Fixed a bug in the simp_and_metis tactic