MAYBE

(format LCTRS)
(fun f 2 :sort (Unit Unit Unit))

(rule (f (f x_0 y_1) z_2) (f x_0 (f y_1 z_2)) :vars ((x_0 Unit) (y_1 Unit) (z_2 Unit)))
(rule (f x_3 y_4) (f y_4 x_3) :vars ((x_3 Unit) (y_4 Unit)))

Confluence could not be determined.

Elapsed Time:  25.95 ms