Analysis run with extensive restarting causes stack overflow

For several commits of zstd, the incremental analysis with extensive restarting throws a stack overflow exception:

vars = 0    evals = 0    narrow_reuses = 0    aborts = 0

Timings:
TOTAL                           2.247 s
  parse                           0.774 s
  convert to CIL                  0.971 s
  mergeCIL                        0.372 s
  compareCilFiles                 0.130 s
  analysis                        0.000 s
    createCFG                       1.869 s
      handle                          0.216 s
      iter_connect                    1.593 s
        computeSCCs                     0.430 s
    global_inits                    0.228 s
    solving                        36.415 s
Timing used
Memory statistics: total=86795.74MB, max=5410.87MB, minor=84327.94MB, major=3489.57MB, promoted=1021.78MB
    minor collections=40232  major collections=17 compactions=0

Fatal error: exception Stack overflow

commit: 874a590
(parent commit: 9f327c0)

Reproduce the incremental analysis with extensive restarting on zstd at commit 874a590 and compare it with parent commit 9f327c0. Start from the stack overflow output and trace the failing analysis path; done means the run completes without a stack overflow.