YES
LCTRS
  Theories
    Core, Ints
  Signature
    f: Int -> Int
  Rules
    f(!x) -> f(-(0, !x)) [>(!x, 0)]
DPGraph with indexed dependency pairs
  {1: f#(!x) -> f#(-(0, !x)) [>(!x, 0)]}
and edges
  1 -> {}
with 0 SCC(s)
  

Elapsed Time:  27.84 ms