Predicate Internal :: nullValueImpliedUnary
Holds if expression e2 is a null value whenever e1 is.
Import path
import semmle.code.csharp.controlflow.Guards
predicate
nullValueImpliedUnary
(
Expr
e1
,
Expr
e2
)