Dependency Graph for smt 1.2.0