+constraint constraint_togglePostOrig (/*@returned@*/ constraint p_c);
+
+bool constraint_hasOrig( /*@observer@*/ /*@temp@*/ constraint p_c);
+
+constraint constraint_makeAddAssign (/*@dependent@*/ /*@observer@*/ exprNode p_e, /*@dependent@*/ /*@observer@*/ exprNode p_f, fileloc p_sequencePoint);
+
+constraint constraint_makeSubtractAssign (/*@dependent@*/ /*@observer@*/ exprNode p_e, /*@dependent@*/ /*@observer@*/ exprNode p_f, fileloc p_sequencePoint);
+
+/*@only@*/ constraint constraint_undump (FILE * p_f);
+
+void constraint_dump (/*@observer@*/ constraint p_c, FILE * p_f);
+
+extern void exprNode_forLoopHeuristics( /*@dependent@*/ exprNode p_e, /*@dependent@*/ exprNode p_forPred, /*@dependent@*/ exprNode p_forBody);