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

Elapsed Time:  38.03 ms