Predicate Internal :: getANullImplyingChild
Gets a child expression of e which is null only if e is null.
Import path
import semmle.code.csharp.controlflow.Guards
Expr
getANullImplyingChild
(
Expr
e
)