MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    sum: (Int, Int) -> Int
  Rules
    sum(!x, !y) -> 0 [>(!x, !y)]
    sum(!x, !y) -> +(!x, sum(+(!x, 1), !y)) [<=(!x, !y)]
No termination info given.

Elapsed Time:  39.94 ms