SRS-relative certified: NO/unsupported for matchbox

(three instances) for some NO, CeTA says UNSUPPORTED, and that's because matchbox crashes while printing the certificate, and that's because the subprogram for printing CPF for "R-producing loops" ... is missing.

https://git.imn.htwk-leipzig.de/waldmann/pure-matchbox/-/issues/500