Member predicate Flow::ControlFlowNode::hasCompletePointsToSet

Check whether this control-flow node has complete points-to information. This would mean that the analysis managed to infer an over approximation of possible values at runtime.

predicate hasCompletePointsToSet()