YES
Time: 0.002982
TRS:
 {  c() -> d(),
  f f X -> c(),
    h X -> c()}
 DP:
  DP:
   {f# f X -> c#(),
      h# X -> c#()}
  TRS:
  {  c() -> d(),
   f f X -> c(),
     h X -> c()}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):