Member predicate AnalyzedNode :: hasFlow
Holds if the flow analysis can infer at least one abstract value for this node.
predicate
hasFlow
(
)