YES
LCTRS
  Theories
    Core
  Sorts
    Unit
  Signature
    a: Unit
    b: Unit
    c: Unit
    f: Unit -> Unit
    g: Unit -> Unit
    h: Unit -> Unit
  Rules
    f(a) -> g(b)
    a -> h(c)
    f(h(!x)) -> g(!x)
    c -> b
DPGraph with indexed dependency pairs
  {1: a# -> c#}
and edges
  1 -> {}
with 0 SCC(s)
  

Elapsed Time:  22.06 ms