[Termtools] certified - green MAYBEs

[Christian Sternagel]

At the moment I found following TRSs where certification succeeded despite
ttt2-cert answering MAYBE (since there is a wrong exit status).

TRS/AG01/#3.55.trs
TRS/AProVE/JFP_Ex31.trs
TRS/Cime/maude2.trs
TRS/Cime/mucrl1.trs
TRS/CSR/Ex1_Luc04b_GM.trs
TRS/SK90/2.26.trs
TRS/Thiemann/div_notCeTermin.trs
TRS/Thiemann/div_notTermin.trs
TRS/TRCSR/Ex1_2_AEL03_C.trs
TRS/TRCSR/Ex14_AEGL02_C.trs
TRS/TRCSR/Ex14_Luc06_C.trs
TRS/TRCSR/Ex1_Luc02b_C.trs
TRS/TRCSR/Ex1_Luc04b_iGM.trs
TRS/TRCSR/Ex2_Luc02a_C.trs
TRS/TRCSR/Ex4_7_37_Bor03_C.trs
TRS/TRCSR/Ex4_7_37_Bor03_Z.trs
TRS/TRCSR/Ex49_GM04_C.trs
TRS/TRCSR/Ex4_DLMMU04_C.trs
TRS/TRCSR/Ex5_7_Luc97_C.trs
TRS/TRCSR/Ex6_15_AEL02_C.trs
TRS/TRCSR/Ex7_BLR02_C.trs
TRS/TRCSR/ExAppendixB_AEL03_C.trs
TRS/TRCSR/ExIntrod_GM99_C.trs
TRS/TRCSR/LengthOfFiniteLists_complete_C.trs
TRS/TRCSR/LengthOfFiniteLists_complete-noand_FR.trs
TRS/TRCSR/LengthOfFiniteLists_complete-noand_Z.trs
TRS/TRCSR/LengthOfFiniteLists_nokinds_noand_C.trs
TRS/TRCSR/LISTUTILITIES_complete_FR.trs
TRS/TRCSR/LISTUTILITIES_complete_noand_iGM.trs
TRS/TRCSR/LISTUTILITIES_nokinds_GM.trs
TRS/TRCSR/LISTUTILITIES_nosorts_noand_C.trs
TRS/TRCSR/MYNAT_complete_C.trs
TRS/TRCSR/MYNAT_nokinds_C.trs
TRS/TRCSR/OvConsOS_nosorts_C.trs
TRS/TRCSR/OvConsOS_nokinds_C.trs
TRS/TRCSR/OvConsOS_nosorts_noand_GM.trs

The current YES-score should be 220 rather than 256.
I will update this list tomorrow.

cheers

christian