Member predicate ControlFlowNode::pointsTo

The value and origin that this ControlFlowNode points-to, given the context.

predicate pointsTo(Context context, Value value, ControlFlowNode origin)