Member predicate 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()