The Disjointness Detective

Enable constraints to see how disjointness relations form a conflict.