Predicate signature TypeFlowInput::isExcludedFromNullAnalysis

Holds if n should be excluded from the set of null values even if the null analysis determines that n is always null.