MAYBE
LCTRS
  Theories
    Core
  Sorts
    Unit
  Signature
    a: Unit
    b: Unit
    g: Unit -> Unit
  Rules
    g(a) -> g(b)
    g(!x) -> !x
    b -> a
No termination info given.

Elapsed Time:  32.67 ms