Dependency Graph for smt 0.5.2