3.7.55. Constraint involving set variables

A constraint involving set variables in its arguments.