Dependency Graph for z3 0.2.0