simplify discharge_hyps based on Magnus's IMP_IMP theorem