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

Elapsed Time:  41.65 ms