-extern void constraintTerm_dump ( /*@observer@*/ constraintTerm t, FILE *f);
-extern /*@only@*/ constraintTerm constraintTerm_undump ( FILE *f);
+extern void constraintTerm_dump ( /*@observer@*/ constraintTerm p_t, FILE * p_f);
+extern /*@only@*/ constraintTerm constraintTerm_undump ( FILE * p_f);