Dependency Graph for automata-lib 6.0.0b3