MAYBE

(format LCTRS :logic QF_LIA)
(fun f 1 :sort (Int Int))
(fun g 1 :sort (Int Int))
(fun h 1 :sort (Int Int))
(fun start 0 :sort (Int))

(rule start (g (f input_0)) :vars ((input_0 Int)))
(rule (f x_1) x_1 :guard (> x_1 0) :vars ((x_1 Int)))
(rule (g x_2) (h x_2) :vars ((x_2 Int)))

Confluence could not be determined.

Elapsed Time:  20.74 ms