Dependency Graph for smt 0.7.1