Dependency Graph for dfa 4.5.2