[_xgw]

That's super interesting!

I like how straightforward the solution is. The problem almost fades away! :)

[tkanarsky]

That's because fundamentally it's a topological sort problem, and it seems like graphviz sorts the nodes appropriately before drawing the digraph.