given a directed acyclic graph, contract straight-line runs to single vertices - View it on GitHub