> […], the point of viewing the Circuit as a Whole is to evaluate it for some arguments. If we see the circuit’s inner parts in terms of a Graph, Implementing the Circuit is equivalent to coloring each node of the graph while traversing it. Therefore, a suitable implementation technique in these situations is to take enough example arguments so that their corresponding evaluations will require the circuit’s graph to be completely painted with our implementations.
The interesting aspect of implementing circuits with multiple inner contexts is that their very structure suggests the order in which each of their pieces should be created.