Dependency Graph for benchexec 3.3