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

(sort Unit)
(fun f (-> Unit Unit))
(fun g (-> Unit Unit))
(fun h (-> Unit Unit))
(fun a Unit)
(fun b Unit)
(fun c Unit)

(rule (f a) (g b))
(rule a (h c))
(rule (f (h x)) (g x))
(rule c b)