extern exprNode
exprNode_cond (/*@keep@*/ exprNode p_pred, /*@keep@*/ exprNode p_ifclause,
/*@keep@*/ exprNode p_elseclause) /*@*/ ;
extern exprNode
exprNode_cond (/*@keep@*/ exprNode p_pred, /*@keep@*/ exprNode p_ifclause,
/*@keep@*/ exprNode p_elseclause) /*@*/ ;