Member predicate AnalysedExpr::isValidCheck
Holds if v is non-null when this expression evaluates to a true value.
predicate isValidCheck(LocalScopeVariable v)Holds if v is non-null when this expression evaluates to a true value.
predicate isValidCheck(LocalScopeVariable v)