; @origtpdbfilename ./TRS/Zantema06/while2.trs
; @xtcfilename "./TRS_Standard/Mixed_TRS/while2.xml"
(format TRS)
(fun f 2)
(fun s 1)
(fun |0| 0)
(rule (f (f (s x) |0|) (f y z)) (f (f y z) (f y (s z))))
(rule (f (f (s x) (s y)) (f z w)) (f (f x y) (f z w)))