/*@only@*/ constraintTerm constraintTerm_undump ( FILE *f);
+bool constraintTerm_isInitBlock (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+int constraintTerm_getInitBlockLength (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
/*@=namechecks@*/
#else