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
    f(?21) -> end [not(>(?21, 0))]
    f(?22) -> g(?22) [>(?22, 0)]
    g(?23) -> h(?23) [>(?23, 2)]
    g(?24) -> i(?24) [not(>(?24, 2))]
    h(?25) -> h'(-(?25, 12))
    h'(?26) -> f(?26)
    i(?27) -> i'(+(?27, 1))
    i'(?28) -> f(?28)
    start -> f(?29)
Confluence could not be determined.

Elapsed Time: 5532.85 ms