constyp==AP_CONS_EQMOD
The expression is not duplicated, just pointed to, so it becomes managed via the constraint.
-1>=0
NULL
x0,x1,...