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