Member predicate Expr :: hasMaybeNullFlowState
Holds if the nullable flow state of this expression may be null.
predicate
hasMaybeNullFlowState
(
)