The memory the control flow graph occupies on top of the dataflow graph it is a view on. Asking for it projects the view, so this is the cost of holding the control flow separately rather than walking it on the dataflow graph.
The memory the control flow graph occupies on top of the dataflow graph it is a view on. Asking for it projects the view, so this is the cost of holding the control flow separately rather than walking it on the dataflow graph.