Unary constraint domains: each primitive constraint either has the form x = y, where x and y are variables, or contains only one variable. Some times a primitive constraint that contains just one variable is called a BasicConstraint.