MAYBE

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

(rule (f x_0 y_1) (g x_0 (+ 1 1)) :vars ((x_0 Int) (y_1 Int)))
(rule (f x_2 y_3) (h (g y_3 (+ 1 1))) :vars ((x_2 Int) (y_3 Int)))

Confluence could not be determined.

Elapsed Time:  16.91 ms