Dependency Graph for smt 1.3.0