added ad-hoc test for disjoint labels violations