recrecxsentrecxrecsentxsentrecxrecnoxsentrecxrecbotupsentbotrecupxuprecxsentupxupsentxnoupxupnoxtoprecupxtopcheckrecxtopsentupxtopcheckrecxtopnoupxtopcheckrecxcheckupxupcheckxchecksentxsentcheckxcheckrecxreccheckxchecknoxnocheckxchecknoxnoxrec1sent1no1bot0up1top1check1FULL./TRS/AProVE/Liveness6.3.trs