Member predicate ControlFlowNode::pointsTo

The value that this ControlFlowNode points-to.

predicate pointsTo(Value value)