Member predicate Nullness::AnalysedExpr::inCondition

Holds if this occurs at or below the controlling expression of an if, while, ?:, or similar.

predicate inCondition()