extern long exprNode_getLongValue (exprNode p_e) /*@*/ ;
extern /*@observer@*/ cstring exprNode_unparseFirst (exprNode p_e) /*@*/ ;
+extern void exprNode_revealState (exprNode p_e) /*@modifies g_messagestream@*/ ;
+
extern /*@observer@*/ guardSet exprNode_getForGuards (exprNode p_pred) /*@*/ ;
extern bool exprNode_loopMustExec (exprNode p_forPred) /*@*/ ;