MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    a: Int
    b: Int
    f: (Int, Int) -> Int
    g: (Int, Int) -> Int
    h: Int -> Int
  Rules
    f(!x, !y) -> g(a, +(!y, !y)) [and(>=(!y, !x), !y = 1)]
    h(f(!x, !y)) -> h(g(b, 2)) [>=(!x, !y)]
    a -> b
    g(!x, !y) -> g(!y, !x)
No termination info given.

Elapsed Time:  64.11 ms