Dependency Graph for bddk 0.1