(format LCTRS :logic QF_LIA)

(fun f 1 :sort (Int Int))
(fun g 1 :sort (Int Int))
(fun a 0 :sort (Int))

(rule (f x) z :guard (= z 3))
(rule (g (f x)) a)
(rule (g z) a :guard (= z 3))