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

Elapsed Time:  38.15 ms