low-level bindings for the nvalues constraint
low-level bindings for the sequence global constraint