__path_is_null
if (__path_is_null())
if (__path_is_null())
if (!__path_is_null()) {
known_condition_true(stmt->if_conditional) && __path_is_null()) {
int __path_is_null(void);
if (__path_is_null())
if (__path_is_null())
if (!__path_is_null())
if (__path_is_null())
if (__path_is_null()) {