constraintList_print(implCons), constraintList_print (con->constraint.buffer))));
functionConstraint_addBufferConstraints (con, constraintList_copy (implCons) );
addedConstraints = TRUE;
constraintList_print(implCons), constraintList_print (con->constraint.buffer))));
functionConstraint_addBufferConstraints (con, constraintList_copy (implCons) );
addedConstraints = TRUE;