print grouped disjoint-classes and do not group them
Merge pull request #1397 from spechub/1394-print_disjointness_union

print grouped disjoint-classes and do not group them