Predicate Nullness::nullValue

Holds if val is a null literal or a call to a function that may return a null literal.

predicate nullValue(Expr val)