Dependency Graph for bddk 1.0