Splits are compatible if they are concave; i.e. they can both be true simultaneously.
SplitsCompatible(split1, split2)Logical vectors listing terminals in same order, such that
each terminal is identified as a member of the ingroup (TRUE) or outgroup
(FALSE) of the respective bipartition split.
SplitsCompatible returns a logical specifying whether the splits
provided are compatible with one another.