top1 free x y top2 check new x y top1 free x y top2 new x check y top1 free x y top2 check x new y top1 free x y top2 x check new y top2 x free y top1 check new x y top2 x free y top1 new x check y top2 x free y top1 check x new y top2 x free y top1 x check new y new free x free new x old free x free old x new serve free serve old serve free serve check free x free check x check new x new check x check old x old check x check old x old x top1 2 free 1 top2 2 check 1 new 1 old 1 serve 0 FULL ./TRS/AProVE/Liveness6.4.trs