[Termtools] Re: time-outs/stack-overflows when checking

Dear all,

ttt2 still has time-outs in the certifier, even though we compiled CeTA with recent GHC, and -O2, and Akihisa increased the time limit considerably (to 45 min)

I made this analysis - and sort-of partial work-around https://github.com/jwaldmann/ceta-postproc/issues/25#issuecomment-1208128726

So, matchbox was lucky to not use matchbounds (for srs std cert) ...

- Johannes.