YES
LCTRS
  Theories
    Core, Ints
  Signature
    f: Int -> Int
  Rules
    f(?5) -> f(-(0, ?5)) [>(?5, 0)]
Confluent by Strong Closedness with proof:
  no critical pairs

Elapsed Time:  52.39 ms