Dependency Graph for rigor 0.5.9