Dependency Graph for smt 1.0.0