I've made tiny progress on the graph layout implementation, I'm following more closely the "Layout of Compound Directed Graphs" paper. Now I have the "extended nesting graph" (graph hierarchy + connections) data structure ready.

Note that for each sub-graph there is a top/bottom "border" node.