YES
O(n)
TRS:
 {    c() -> d(),
  f(f(X)) -> c(),
     h(X) -> c()}
 DUP: We consider a non-duplicating system.
  Trs:
   {    c() -> d(),
    f(f(X)) -> c(),
       h(X) -> c()}
  BOUND:
   Automaton:
    {
     h_0(4) -> 4,
      d_2() -> 9,
      d_1() -> 7,
      d_0() -> 4,
     f_0(4) -> 4,
      c_1() -> 5,
      c_0() -> 4,
          9 -> 5,
          7 -> 4,
          5 -> 4
    }
   Strict:
    {}
   Qed