Member predicate NullnessCompletion::isNonNull

Holds if the last sub expression of this expression evaluates to a non-null value.