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 wit

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.