Dependency Graph for smt 0.3.1