-extern /*@only@*/ constraintList reflectChanges (/*@observer@*/ constraintList pre2, /*@observer@*/ constraintList post1);
+extern /*@only@*/ constraintList constraintList_reflectChanges(/*@observer@*/ /*@temp@*/ constraintList p_pre2, /*@observer@*/ /*@temp@*/ constraintList p_post1);
-/* tries to resolve constraints in list pre2 using post1 */
-/*@only@*/ extern constraintList reflectChangesFreePre (/*@only@*/ constraintList pre2, /*@observer@*/ constraintList post1);
+/* tries to resolve constraints in List p_pre2 using post1 */
+/*@only@*/ extern constraintList constraintList_reflectChangesFreePre (/*@only@*/ constraintList p_pre2, /*@observer@*/ /*@temp@*/ constraintList p_post1);
-extern /*@only@*/ constraint substitute (/*@observer@*/ constraint c, constraintList p);
+extern /*@only@*/ constraint constraint_substitute (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p);
-//extern constraint constraint_searchandreplace (constraint c, constraintExpr old, constraintExpr new);
+//extern constraint constraint_searchandreplace (constraint p_c, constraintExpr old, constraintExpr new);
-static bool rangeCheck (arithType ar1, /*@observer@*/ constraintExpr expr1, arithType ar2, /*@observer@*/ constraintExpr expr2);
-static bool satifies (/*@observer@*/ constraint pre, /*@observer@*/ constraint post);
+extern bool constraintList_resolve (/*@temp@*/ /*@observer@*/ constraint p_c, /*@temp@*/ /*@observer@*/ constraintList p_p);
-extern bool resolve ( /*@observer@*/ constraint c, /*@observer@*/ constraintList p);
+extern constraint constraint_simplify ( /*@returned@*/ constraint p_c);
-static /*@only@*/ constraintList reflectChangesEnsures (/*@observer@*/ constraintList pre2, constraintList post1);
+extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList p_list1, constraintList p_list2);
-extern constraint constraint_simplify ( /*@returned@*/ constraint c);
+extern constraintList constraintList_subsumeEnsures (constraintList p_list1, constraintList p_list2);
-extern /*@only@*/ constraintList constraintList_fixConflicts (constraintList list1, constraintList list2);
+extern constraintList constraintList_mergeEnsures (/*observer@*/ /*@temp@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2);
-extern constraintList constraintList_subsumeEnsures (constraintList list1, constraintList list2);
+/*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList p_list1, /*@observer@*/ /*@temp@*/ constraintList p_list2);
-extern constraintList constraintList_mergeEnsures (/*observer@*/ constraintList list1, /*@observer@*/ constraintList list2);
-/*@only@*/ constraintList constraintList_mergeEnsuresFreeFirst (/*@only@*/ constraintList list1, /*@observer@*/ constraintList list2);
+bool constraint_isAlwaysTrue (/*@observer@*/ /*@temp@*/ constraint p_c);
+/*@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ /*@temp@*/ constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2);
-bool constraint_isAlwaysTrue (/*@observer@*/ constraint c);
+/*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList p_list1,/*@observer@*/ /*@temp@*/ constraintList p_list2);
-/*@only@*/ constraintList constraintList_mergeRequires (/*@observer@*/ constraintList list1,/*@observer@*/ constraintList list2);
-/*@only@*/ constraintList constraintList_mergeRequiresFreeFirst (/*@only@*/constraintList list1,/*@observer@*/ constraintList list2);
+constraintList constraintList_reflectChangesOr (constraintList p_pre2, constraintList p_post1);
+/*@only@*/ constraintList constraintList_substitute (constraintList p_target, /*2observer@*/ constraintList p_subList);
-constraintList reflectChangesOr (constraintList pre2, constraintList post1);
+/*@only@*/ constraintList constraintList_substituteFreeTarget (/*@only@*/ constraintList p_target, /*@observer@*/ /*@temp@*/ constraintList p_subList);
-/*@only@*/ constraintList constraintList_substitute (constraintList target, /*2observer@*/ constraintList subList);
+extern void exprNode_mergeResolve (exprNode p_parent, exprNode p_child1, exprNode p_child2);
-/*@only@*/ constraintList constraintList_substituteFreeTarget (/*@only@*/ constraintList target, /*@observer@*/ constraintList subList);
+//extern constraintList checkCall (exprNode p_fcn, exprNodeList p_arglist);
-extern void mergeResolve (exprNode parent, exprNode child1, exprNode child2);
-extern constraintList checkCall (exprNode fcn, exprNodeList arglist);
-
-void checkArgumentList (/*@out@*/ exprNode temp, exprNodeList arglist, fileloc sequencePoint) /*@modifies temp @*/;
-
-constraint inequalitySubstitute (/*@returned@*/ constraint c, constraintList p);