Dependency Graph for automata-lib 7.0.0