[Termtools] SRS relative - was: Re: TRS / SRS categories done, C and

Hi Florian,

the TRS and SRS categories are done!

Nice, and thank you very much. That was smooth sailing? At least it appears like this, from the outside. Also, it was just in time for a quick coffee table presentation for my colleagues. SRS-Relative: AProVE was not using _Fixed? SRS-Rel-Cert: matchbox has some UNSUPPORTED (I know what is happening/missing, had no time to fix it https://git.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/500) and some REJECT (I don't ... https://git.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/526) - Johannes.