; @origtpdbfilename ./TRS/TRCSR/ExIntrod_GM01_L.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/ExIntrod_GM01_L.xml"
(format TRS)
(fun tail 1)
(fun cons 1)
(fun incr 1)
(fun nil 0)
(fun s 1)
(fun adx 1)
(fun nats 0)
(fun zeros 0)
(fun |0| 0)
(fun head 1)
(rule (tail (cons X)) L)
(rule (incr nil) nil)
(rule (incr (cons X)) (cons (s X)))
(rule (adx nil) nil)
(rule (adx (cons X)) (incr (cons X)))
(rule nats (adx zeros))
(rule zeros (cons |0|))
(rule (head (cons X)) X)