active f x mark x top active c top mark c top mark x top check x check f x f check x check x start match f X x match f x f y f match x y match X x proper x proper c ok c proper f x f proper x f ok x ok f x start ok x found x f found x found f x top found x top active x active f x f active x f mark x mark f x active 1 f 1 mark 1 top 1 c 0 check 1 start 1 match 2 X 0 proper 1 ok 1 found 1 FULL ./TRS/AProVE/Liveness8.trs