I've always found it incredibly challenging to layout control-flow graphs (used a lot by compilers), so nice that this exists!
I don’t understand that remark. This library is for directed acyclic graphs. Control flow graphs are directed, but generally have cycles.
When you do this, you're guaranteed that the resulting graph is acyclic.