Predicate Internal :: nonNullValue
Holds if expression e is a non-null value.
Import path
import semmle.code.csharp.controlflow.Guards
predicate
nonNullValue
(
Expr
e
)