3.7.91. Empty intersection

A constraint that enforces an empty intersection between two sets of variables.