Member predicate ControlFlowNode::inferredValue

Gets a value that this ControlFlowNode may points-to.

Value inferredValue()