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

(fun start Int)
(fun f (-> Int Int))
(fun g (-> Int Int))
(fun h (-> Int Int))

(rule start (g (f input)))
(rule (f x) x :guard (> x 0))
(rule (g x) (h x))