Member predicate ControlFlowNode :: inferredValue
Gets a value that this ControlFlowNode may points-to.
Value
inferredValue
(
)