MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    A: (Int, Int) -> Int
  Rules
    A(!m, !n) -> A(-(!m, 1), A(!m, -(!n, 1))) [and(not(!m = 0), not(!n = 0))]
    A(!m, 0) -> A(-(!m, 1), 1) [not(!m = 0)]
    A(0, !n) -> +(!n, 1)
No termination info given.

Elapsed Time:  57.67 ms