Dependency Graph for amsimp 0.4.2