https://123dok.net/document/yngn95n1-the-parallel-implementation-of-the-astrée-static-analyzer.html