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

Elapsed Time:  34.33 ms