Dependency Graph for smt 0.7.0