YES
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    return: Int -> Unit
    sum1: Int -> Unit
  Rules
    sum1(!n) -> return(div(*(!n, +(!n, 1)), 2)) [not(<(!n, 0))]
    sum1(!n) -> return(0) [<(!n, 0)]
No Dependency Pairs.

Elapsed Time:  12.73 ms