Remove unnecessary disjunctions