MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    double: Int -> Int
    sucsuc: Int -> Int
    u: (Int, Int, Int) -> Int
  Rules
    double(!n) -> u(!n, 1, 0)
    u(!n, !i, !z) -> u(!n, +(!i, 1), sucsuc(!z)) [<=(!i, !n)]
    u(!n, !i, !z) -> !z [not(<=(!i, !n))]
    sucsuc(!x) -> +(!x, 2)
No termination info given.

Elapsed Time:  37.42 ms