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

Elapsed Time:  15.49 ms