(meta-info (comment "Ctrl example from examples-transformed/fib.ctrs"))
(format LCTRS :logic QF_LIA)

(fun fib 1 :sort (Int  Int))

(rule (fib  x) (+  (fib  (-  x 1)) (fib  (-  x 2))) :guard (>= (- x 2) 0))
(rule (fib  1) 1)
(rule (fib  x) 0 :guard (<= x 0))