Dependency Graph for amsimp 0.2.6