Dependency Graph for bddk 0.2