YES
LCTRS
  Theories
    Core, Ints
  Signature
    g: (Int, Int) -> Int
  Rules
    g(?49, ?50) -> g(-(?49, 1), -(?50, 1)) [and(and(<(-(?49, 1), -(?50, 1)), >=(-(?49, 1), 0)), >=(-(?50, 1), 0))]
    g(?51, ?52) -> 0 [or(and(?51 = 0, >=(?52, 0)), or(or(<(?51, 0), <(?52, 0)), or(or(or(>=(-(?51, 1), -(?52, 1)), <(-(?51, 1), 0)), <(-(?52, 1), 0)), or(<(?51, 0), <(?52, 0)))))]
Confluent by Strongly Closedness with proof:
  no critical pairs

Elapsed Time:  50.54 ms