Member predicate TypeInference::AnalyzedNode::hasFlow

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

predicate hasFlow()