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

Elapsed Time:  44.11 ms