Dependency Graph for reachab 0.5