MAYBE

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

(rule (g x_0 y_1) 0 :guard (or (< x_0 0) (< y_1 0)) :vars ((x_0 Int) (y_1 Int)))
(rule (g x_2 y_3) 0 :guard (or (or (>= (- x_2 1) (- y_3 1)) (< (- x_2 1) 0)) (< (- y_3 1) 0)) :vars ((x_2 Int) (y_3 Int)))
(rule (g x_4 y_5) 0 :guard (or (< x_4 0) (< y_5 0)) :vars ((x_4 Int) (y_5 Int)))
(rule (g 0 y_6) 0 :guard (>= y_6 0) :vars ((y_6 Int)))
(rule (g x_7 y_8) (g (- x_7 1) (- y_8 1)) :guard (and (and (< (- x_7 1) (- y_8 1)) (>= (- x_7 1) 0)) (>= (- y_8 1) 0)) :vars ((x_7 Int) (y_8 Int)))

Confluence could not be determined.

Elapsed Time:  20.92 ms