Member predicate AnalysedExpr::isUse
Holds if this is a VariableAccess of v nested inside a condition.
predicate isUse(LocalScopeVariable v)Holds if this is a VariableAccess of v nested inside a condition.
predicate isUse(LocalScopeVariable v)