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

Elapsed Time:  36.85 ms