[Termtools] Additions to TRS_Conditional

Dear all,

In order to make the TermCOMP 2022 'demo' category of termination of CTRSs more attractive, we submitted a new collection of oriented CTRSs from COPS.

We did not provide any suggestion of name for the collection. Thus, for TermCOMP 2022 I see that it has been named Gutierrez_22 (Raúl submitted the collection of examples).

Perhaps COPS_oriented22 would be more appropriate as it recognizes the real origin of the examples. It is not a big problem, but I think better to update the name of the collection.

Sorry for not proposing the name of the collection in time.

Best regards,

Salvador.