MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    c: (Int, Int) -> Int
    f: (Int, Int) -> Int
    g: (Int, Int) -> Int
    h: Int -> Int
  Rules
    f(!x, !y) -> h(g(!y, *(2, 2))) [and(<=(!x, !y), !y = 2)]
    f(!x, !y) -> c(4, !x) [<=(!y, !x)]
    g(!x, !y) -> g(!y, !x)
    c(!x, !y) -> g(4, 2) [not(!x = !y)]
    h(!x) -> !x
No termination info given.

Elapsed Time:  41.94 ms