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

Elapsed Time:  36.07 ms