topsentxtopcheckrestxrestnilsentnilrestconsxysentychecksentxsentcheckxcheckrestxrestcheckxcheckconsxyconscheckxycheckconsxyconsxcheckycheckconsxyconsxytop1sent1check1rest1nil0cons2FULL./TRS/AProVE/Liveness6.2.trs