MAYBE
LCTRS
  Theories
    Core, Ints
  Signature
    f1: (Int, Int) -> Int
    u_5: Int -> Int
  Rules
    u_5(!w_2) -> !w_2
    f1(!i, !j) -> u_5(f1(-(!i, 1), +(!j, 1))) [distinct(!i, 0)]
    f1(!i, !j) -> !j [!i = 0]
No termination info given.

Elapsed Time:  33.13 ms