+extern constraintList constraintList_addGeneratingExpr (/*@returned@*/ constraintList c, exprNode e) /*@modifies c@*/;
+extern /*@only@*/ constraintList constraintList_makeFixedArrayConstraints ( /*@observer@*/ sRefSet p_s) ;
+extern void constraintList_printErrorPostConditions (constraintList p_s, fileloc p_loc) ;
+extern void constraintList_printError (constraintList p_s, fileloc p_loc) ;
+
+void constraintList_dump (/*@observer@*/ constraintList c, FILE *f);
+
+/*@only@*/ constraintList constraintList_undump (FILE *f);
+