Dependency Graph for bddk 0.3