Dependency Graph for smt 0.9.0