Dependency Graph for checkcat 9.8.7