; @origtpdbfilename ./TRS/TRCSR/ExIntrod_GM04_L.trs
; @xtcfilename "./TRS_Standard/Transformed_CSR_04/ExIntrod_GM04_L.xml"
(format TRS)
(fun hd 1)
(fun cons 0)
(fun tl 1)
(fun nats 0)
(fun adx 1)
(fun zeros 0)
(fun incr 1)
(rule (hd cons) X)
(rule (tl cons) Y)
(rule nats (adx zeros))
(rule zeros cons)
(rule (incr cons) cons)
(rule (adx cons) (incr cons))