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

(rule (u_8 w_3) w_3 :vars ((w_3 Int)))
(rule (u_5 w_2) (u_8 (f1 w_2)) :vars ((w_2 Int)))
(rule (f1 a) (u_5 (f1 (+ a 11))) :guard (<= a 100) :vars ((a Int)))
(rule (f1 a) (- a 10) :guard (> a 100) :vars ((a Int)))