This section describes the classes of constraints that can be used with this solver.
In case of variable aliasing, i.e. if a variable occurs more than once in a global constraint that is being posted, or due to a subsequent variable-variable unification, any guarantee to maintain arc-consistency no longer holds.