tbox->disjoint_classes_axioms is now a Set.