Dependency Graph for smt 0.4.0