Dependency Graph for smt 0.6.0