test x_0 y True test x_0 y False append l1_2 l2_1 match_0 l1_2 l2_1 l1_2 match_0 l1_2 l2_1 Nil l2_1 match_0 l1_2 l2_1 Cons x l Cons x append l l2_1 part a_4 l_3 match_1 a_4 l_3 l_3 match_1 a_4 l_3 Nil Pair Nil Nil match_1 a_4 l_3 Cons x l' match_2 x l' a_4 l_3 part a_4 l' match_2 x l' a_4 l_3 Pair l1 l2 match_3 l1 l2 x l' a_4 l_3 test a_4 x match_3 l1 l2 x l' a_4 l_3 False Pair Cons x l1 l2 match_3 l1 l2 x l' a_4 l_3 True Pair l1 Cons x l2 quick l_5 match_4 l_5 l_5 match_4 l_5 Nil Nil match_4 l_5 Cons a l' match_5 a l' l_5 part a l' match_5 a l' l_5 Pair l1 l2 append quick l1 Cons a quick l2 test 2 True 0 False 0 append 2 match_0 3 Nil 0 Cons 2 part 2 match_1 3 Pair 2 match_2 5 match_3 7 quick 1 match_4 2 match_5 4 FULL ./TRS/Cime/quick.trs