; @origtpdbfilename ./TRS/Cime/append.trs
; @xtcfilename "./TRS_Standard/CiME_04/append.xml"
(format TRS)
(fun is_empty 1)
(fun nil 0)
(fun true 0)
(fun cons 2)
(fun false 0)
(fun hd 1)
(fun tl 1)
(fun append 2)
(fun ifappend 3)
(rule (is_empty nil) true)
(rule (is_empty (cons x l)) false)
(rule (hd (cons x l)) x)
(rule (tl (cons x l)) l)
(rule (append l1 l2) (ifappend l1 l2 l1))
(rule (ifappend l1 l2 nil) l2)
(rule (ifappend l1 l2 (cons x l)) (cons x (append l l2)))