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

Elapsed Time:  11.62 ms