; @author Jonas Schöpf
; Ctrl example from examples/fib.ctrs
(format LCTRS :smtlib 2.6)
(theory Ints)

(fun fib (-> 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))