Dependency Graph for smt 0.8.0