Member predicate ControlFlowNode :: pointsTo
Gets the value and origin that this ControlFlowNode points-to, given the context.
predicate
pointsTo
(
Context
context
,
Value
value
,
ControlFlowNode
origin
)