Member predicate Nullness::AnalysedExpr::isDef

Holds if this is an Assignment to v nested inside a condition.

predicate isDef(LocalScopeVariable v)