Dependency Graph for provers 0.1.4