Dependency Graph for bddk 1.1