extern bool constraintTerm_isDefined (constraintTerm p_t) /*@*/ ;
extern constraintTermType constraintTerm_getKind (constraintTerm) ;
extern bool constraintTerm_isDefined (constraintTerm p_t) /*@*/ ;
extern constraintTermType constraintTerm_getKind (constraintTerm) ;