MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    fun1: (Int, Int) -> Unit
    fun2: (Int, Int, Int) -> Unit
    fun3: (Int, Int) -> Unit
    fun4: (Int, Int) -> Unit
    fun5: (Int, Int) -> Unit
    fun6: (Int, Int) -> Unit
    fun7: (Int, Int) -> Unit
    fun8: (Int, Int) -> Unit
  Rules
    fun7(!x, !y) -> fun1(!x, !y)
    fun6(!x, !y) -> fun7(!x, -(!y, 1))
    fun5(!x, !y) -> fun7(!x, !y)
    fun4(!x, !y) -> fun5(!x, !input)
    fun3(!x, !y) -> fun4(-(!x, 1), !y)
    fun2(!x, !y, !i) -> fun6(!x, !y) [not(!i = 1)]
    fun2(!x, !y, !i) -> fun3(!x, !y) [!i = 1]
    fun1(!x, !y) -> fun8(!x, !y) [and(<=(!x, 0), <=(!y, 0))]
    fun1(!x, !y) -> fun2(!x, !y, !input) [and(>(!x, 0), >(!y, 0))]
No termination info given.

Elapsed Time:  50.95 ms