Member predicate NullnessCompletion::isNonNull
Holds if the last sub expression of this expression evaluates to a non-null
value.
predicate isNonNull()
Holds if the last sub expression of this expression evaluates to a non-null
value.
predicate isNonNull()