MAYBE

(format LCTRS :logic QF_LIA)
(fun a 0 :sort (Unit))
(fun b 0 :sort (Unit))
(fun c 0 :sort (Unit))
(fun d 0 :sort (Unit))
(fun f 2 :sort (Int Unit Unit))

(rule d d)
(rule (f x_0 b) c :guard (<= x_0 10) :vars ((x_0 Int)))
(rule a b)
(rule (f x_1 a) c :guard (<= x_1 3) :vars ((x_1 Int)))

Confluence could not be determined.

Elapsed Time:  14.26 ms