# define end_pairNodeList_elements }}
-extern /*@falsenull@*/ bool pairNodeList_isDefined (pairNodeList p_p) /*@*/ ;
+extern /*@falsewhennull@*/ bool pairNodeList_isDefined (pairNodeList p_p) /*@*/ ;
/*@constant null pairNodeList pairNodeList_undefined; @*/
# define pairNodeList_undefined ((pairNodeList)0)