MAYBE
LCTRS
  Theories
    Core
  Sorts
    Unit
  Signature
    f: (Unit, Unit) -> Unit
  Rules
    f(!x, f(!y, !z)) -> f(f(!x, !y), !z)
    f(!x, !y) -> f(!y, !x)
No termination info given.

Elapsed Time:  42.17 ms