Symbol: is_null_pointer_constant