Member predicate Nullness::AnalysedExpr::isUse

Holds if this is a VariableAccess of v nested inside a condition.

predicate isUse(LocalScopeVariable v)