MAYBE

(format LCTRS :logic QF_NIA)
(fun f 1 :sort (Int Int))

(rule (f x_0) z_1 :guard (= x_0 (* z_1 z_1)) :vars ((x_0 Int) (z_1 Int)))

Confluence could not be determined.

Elapsed Time:  11.39 ms