(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) (g y))
(rule (g y) a :guard (= y y))