/*@only@*/ constraintTerm constraintTerm_undump ( FILE *f);
+bool constraintTerm_isInitBlock (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+int constraintTerm_getInitBlockLength (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+bool constraintTerm_isExprNode (/*@observer@*/ /*@temp@*/ constraintTerm c) /*@*/;
+
+
+extern ctype constraintTerm_getCType (constraintTerm term);
+
+/*@exposed@*/ exprNode constraintTerm_getExprNode (constraintTerm t);
+
+/*@exposed@*/ sRef constraintTerm_getsRef (constraintTerm t);
+
+
/*@=namechecks@*/
+/*drl added 12/19/2002*/
+bool constraintTerm_isConstantOnly ( constraintTerm p_term );
+
#else
#error Multiple Include