Do not remove edges between mutually exclusive predicates, as this is currently not working correctly