collapsed labels of duplicate rules into a disjunctive label