MAYBE
LCTRS
  Theories
    Core, Ints
  Sorts
    Unit
  Signature
    end: Unit
    f: Int -> Unit
    g: Int -> Unit
    h: Int -> Unit
    h': Int -> Unit
    i: Int -> Unit
    i': Int -> Unit
    start: Unit
  Rules
    i'(!x) -> f(!x)
    i(!x) -> i'(+(!x, 1))
    h'(!x) -> f(!x)
    h(!x) -> h'(-(!x, 12))
    g(!x) -> i(!x) [not(>(!x, 2))]
    g(!x) -> h(!x) [>(!x, 2)]
    f(!x) -> end [not(>(!x, 0))]
    f(!x) -> g(!x) [>(!x, 0)]
    start -> f(!input)
No termination info given.

Elapsed Time:  49.37 ms