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

Elapsed Time:  33.88 ms