sum x y S int x y S nil 0 S cons x xs plus x S xs plus x 0 x plus x s y s plus x y int 0 0 cons 0 nil int 0 s y cons 0 int s 0 s y int s x 0 nil int s x s y intlist int x y intlist nil nil intlist cons x y cons s x intlist y sum 2 S 1 int 2 nil 0 0 0 cons 2 plus 2 AC s 1 intlist 1 FULL ./TRS/AProVE_AC/AC07.trs