[Magnap]

The theoretical property those hacks were aiming at showing is called the transitive reduction. And you don't need any hacks to calculate it, graphviz comes with the `tred` tool to do so.