Member predicate Expr::hasNotNullFlowState

Holds if the nullable flow state of this expression is not null.

predicate hasNotNullFlowState()