Add remove_subset_hypotheses