(meta-info (comment "Example 1 Kop Termination 2016 (without restriction to 16-bit Ints)"))
(format LCTRS :logic QF_LIA)

(fun f 1 :sort (Int Int))

(rule (f x) (f (- 0 x)) :guard (> x 0))