top1freexytop2checknewxytop1freexytop2newxcheckytop1freexytop2checkxnewytop1freexytop2xchecknewytop2xfreeytop1checknewxytop2xfreeytop1newxcheckytop2xfreeytop1checkxnewytop2xfreeytop1xchecknewynewfreexfreenewxoldfreexfreeoldxnewservefreeserveoldservefreeservecheckfreexfreecheckxchecknewxnewcheckxcheckoldxoldcheckxcheckoldxoldxtop12free1top22check1new1old1serve0FULL./TRS/AProVE/Liveness6.4.trs