Dependency Graph for benchexec 2.7