; @author Jonas Schöpf
; example which is almost development closed but not developement closed
(format LCTRS :smtlib 2.6)
(theory Core)

(sort Unit)
(fun g (-> Unit Unit))
(fun a Unit)
(fun b Unit)

(rule (g a) (g b))
(rule (g x) x)
(rule b a)