- new = constraint_searchAndAdd (new, find, add);
- DPRINTF (( (message ("Adding constraint %s ", constraint_print (new)) ) ));
- newConstraints = constraintList_add (newConstraints, new);
+ newExpr = constraint_searchAndAdd (newExpr, find, add);
+ DPRINTF (( (message ("Adding constraint %s ", constraint_print (newExpr)) ) ));
+ newConstraints = constraintList_add (newConstraints, newExpr);