MAYBE

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

(rule (f x_0) (g y_1) :vars ((x_0 Int) (y_1 Int)))
(rule (g y_2) a :guard (= y_2 y_2) :vars ((y_2 Int)))

Confluence could not be determined.

Elapsed Time:  13.89 ms