MAYBE

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

(rule (f x_0 y_1) 0 :guard (or (or (>= (- x_0 1) y_1) (< (- x_0 1) 0)) (< y_1 0)) :vars ((x_0 Int) (y_1 Int)))
(rule (f x_2 y_3) 0 :guard (or (< x_2 0) (<= y_3 0)) :vars ((x_2 Int) (y_3 Int)))
(rule (f 0 y_4) 0 :guard (>= y_4 0) :vars ((y_4 Int)))
(rule (f x_5 y_6) (f (- x_5 1) y_6) :guard (and (and (< (- x_5 1) y_6) (>= (- x_5 1) 0)) (>= y_6 0)) :vars ((x_5 Int) (y_6 Int)))

Confluence could not be determined.

Elapsed Time:  18.68 ms