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

Elapsed Time:  40.49 ms