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

Elapsed Time:  40.17 ms