(meta-info (comment "Ctrl example from examples-transformed/llreve/llreve_rec_mccarthy91a.ctrs"))
(format LCTRS :logic QF_LIA)
(fun u_18 1 :sort (Int Int))
(fun u_15 1 :sort (Int Int))
(fun f2 1 :sort (Int Int))

(rule (u_18 w_6) w_6 :vars ((w_6 Int)))
(rule (u_15 w_5) (u_18 (f2 w_5)) :vars ((w_5 Int)))
(rule (f2 x) (- x 10) :guard (>= x 101) :vars ((x Int)))
(rule (f2 x) (u_15 (f2 (+ 11 x))) :guard (< x 101) :vars ((x Int)))