arithType ar;
constraintExpr expr;
bool post;
- /*@observer@*/ /*@dependent@*/ exprNode generatingExpr;
+ /*@observer@*/ /*@exposed@*/ /*@dependent@*/ exprNode generatingExpr;
} ;
/*@constant null constraint constraint_undefined; @*/
extern /*@only@*/ constraint makeConstraintParse3 (constraintExpr p_l, lltok p_relOp, constraintExpr p_r);
-extern constraint constraint_addGeneratingExpr (/*@returned@*/ constraint p_c, /*@dependent@*/ /*@oberserver@*/ exprNode p_e);
+extern constraint constraint_addGeneratingExpr (/*@returned@*/ constraint p_c, /*@dependent@*/ /*@exposed@*/ exprNode p_e);
extern bool constraint_hasMaxSet(constraint p_c);