Member predicate ControlFlowNode::pointsTo

The value and origin that this ControlFlowNode points-to.

predicate pointsTo(Value value, ControlFlowNode origin)