Dependency Graph for dfa 4.6.3