Dependency Graph for formal 0.6.3