Diagnosis
In a constraint, you cannot define restrictions and other inferences atthe same time. However, the list of required inferences (INFERENCES:)contains both restrictable variables and variables which cannot berestricted.

Procedure
Divide the constraint into two constraints: create one constraint forrestrictions and one constraint for other inferences.