optimized binarization of disjointness axioms (reduced the number of
pairs)