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