CSystemDependenceGraphBuilder does not sufficiently check for shutdown requests
BuildBot benchmarks show 15 cases where CPAchecker exited after 70s because CSystemDependenceGraphBuilder
did not terminate itself after receiving a shutdown request. The expectation is that all loops that have the potential to run for a few seconds or longer should call ShutdownNotifier.shutdownIfNecessary()
and it seems such calls are not happening in all places where it is required.
One can look at the stack traces int the logs to see which code is running at the point of exit, this usually gives some good indication of where to add such checks.