Red-Panda64

This seems like a policy discussion, so I cannot really say much. However, as @michael-schwarz said, the widening gas will probably mainly be meaningful for globals, so it's good to...

I have extracted the modules out of td3.Base. For now, I have placed them in their own module in `src/solver`. Since this directory so far only contains solver implementations, I...

Well, yes, widening delay seems to be a bit slower. It times out 141 times where #1442 does not. Conversely, #1442 times out 10 times where widening delay does not....

As I understand, the check is different because the `side_widen: "cycle"` strategy wants to know, whether the function destabilized any stable start variables or called variables. ```ocaml HM.mem called y...

I stand by the opinion that the duplicate code itself is problematic. Namely, that adjustments of either `destabilize` or `destabilize_vs` could accidentally not be applied to the other. This does...