Predicate FlowStepsInput::isExcludedFromNullAnalysis
Holds if n should be excluded from the set of null values even if
the null analysis determines that n is always null.
Import path
import semmle.code.java.dataflow.TypeFlowpredicate isExcludedFromNullAnalysis(FlowNode n)