tweak miscLib.discharge_hyps tactic