+extern /*@only@*/ constraint makeConstraintParse3 (constraintExpr l, lltok relOp, constraintExpr r);
+
+extern constraint constraint_addGeneratingExpr (/*@returned@*/ constraint c, exprNode e);
+
+extern bool constraint_hasMaxSet(constraint c);
+
+/*from constraintGenreation.c*/
+extern void exprNode_exprTraverse (exprNode e, bool definatelv, bool definaterv, /*@observer@*/ fileloc sequencePoint);
+
+extern /*@only@*/ constraintList exprNode_traversRequiresConstraints (exprNode e);
+extern /*@only@*/ constraintList exprNode_traversEnsuresConstraints (exprNode e);
+
+extern constraint constraint_togglePost (/*@returned@*/ constraint c);
+extern bool constraint_same (constraint c1, constraint c2) ;
+
+/*@only@*/ cstring constraint_printOr (constraint c) /*@*/;
+extern void constraint_printErrorPostCondition (constraint p_c, fileloc p_loc) ;
+extern constraint constraint_setFcnPre (/*@returned@*/ constraint p_c) ;
+extern constraint constraint_origAddGeneratingExpr (/*@returned@*/ constraint p_c, exprNode p_e) ;
+
+extern bool /*@alt void@*/ exprNode_generateConstraints (/*@temp@*/ exprNode p_e) ;
+constraint constraint_togglePostOrig (/*@returned@*/ constraint c);
+
+bool constraint_hasOrig( /*@observer@*/ /*@temp@*/ constraint c);
+
+constraint constraint_makeAddAssign (exprNode e, exprNode f, fileloc sequencePoint);
+
+constraint constraint_makeSubtractAssign (exprNode e, exprNode f, fileloc sequencePoint);
+
+/*@only@*/ constraint constraint_undump (FILE *f);
+
+void constraint_dump (/*@observer@*/ constraint c, FILE *f);