DPRINTF ( (message ("Function preconditions are %s \n\n\n\n\n", constraintList_printDetailed (c) ) ) );
t = reflectChanges (body->requiresConstraints, constraintList_copy (c) );
DPRINTF ( (message ("Function preconditions are %s \n\n\n\n\n", constraintList_printDetailed (c) ) ) );
t = reflectChanges (body->requiresConstraints, constraintList_copy (c) );