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

Elapsed Time:  19.13 ms