NULL_ZERO
return is_zero_constant(e) ? NULL_ZERO : NON_NULL;
if (is_null1 == NULL_ZERO)
if (is_null2 == NULL_ZERO)
if (is_null1 == NULL_ZERO)
if (is_null2 == NULL_ZERO)
if (is_null == NULL_ZERO)