Dependency Graph for rigor 0.7.2