YES
TRS:
 {    c() -> d(),
  f(f(X)) -> c(),
     h(X) -> c()}
 RUF:
  Strict:
   {c() -> d()}
  Weak:
   {}
  RUF:
   Strict:
    {}
   Weak:
    {}
   Qed