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

Elapsed Time:  34.10 ms