Member predicate AnalyzedNode::hasFlow

Holds if the flow analysis can infer at least one abstract value for this node.

predicate hasFlow()