extern /*@falsenull@*/ bool constraintExprData_isDefined (/*@observer@*/ /*@reldef@*/constraintExprData p_e) /*@*/ ;
extern /*@unused@*/ /*@truenull@*/ bool constraintExprData_isUndefined (constraintExprData p_e) /*@*/ ;
extern /*@falsenull@*/ bool constraintExprData_isDefined (/*@observer@*/ /*@reldef@*/constraintExprData p_e) /*@*/ ;
extern /*@unused@*/ /*@truenull@*/ bool constraintExprData_isUndefined (constraintExprData p_e) /*@*/ ;
# define constraintExprData_isDefined(e) ((e) != constraintExprData_undefined)
# define constraintExprData_isUndefined(e) ((e) == constraintExprData_undefined)
# define constraintExprData_isError(e) ((e) == constraintExprData_undefined)
# define constraintExprData_isDefined(e) ((e) != constraintExprData_undefined)
# define constraintExprData_isUndefined(e) ((e) == constraintExprData_undefined)
# define constraintExprData_isError(e) ((e) == constraintExprData_undefined)
-constraintExprData constraintExprData_termSetTerm (/*@out@*/ constraintExprData data, constraintTerm term);
-
-//constraintExprData constraintExprData_copy (constraintExprData data, constraintExprKind kind) /*@*/;
+constraintExprData constraintExprData_termSetTerm (/*@reldef@*/ constraintExprData data, constraintTerm term);
// /*@special@*/ constraintExprData constraintExprData_unaryExprSetOp ( /*@out@*/ /*@special@*/ /*@returned@*/ constraintExprData data, constraintExprUnaryOpKind op) /*@sets result->unaryOp.unaryOp@*/;
// /*@special@*/ constraintExprData constraintExprData_unaryExprSetOp ( /*@out@*/ /*@special@*/ /*@returned@*/ constraintExprData data, constraintExprUnaryOpKind op) /*@sets result->unaryOp.unaryOp@*/;