(format TRS)
(fun nil 0)
(fun cons 2)
(fun append 2)
(rule (append nil ys) ys)
(rule (append (cons x xs) ys) (cons x (append xs ys)))