Identifies groups of grounded goal predicates that should be mutually exclusive during goal enumeration.