YES
TRS:
 {         f(s(X)) -> f(X),
  g(cons(s(X), Y)) -> s(X),
   g(cons(0(), Y)) -> g(Y),
     h(cons(X, Y)) -> h(g(cons(X, Y)))}
 RUF:
  Strict:
   {         f(s(X)) -> f(X),
    g(cons(s(X), Y)) -> s(X),
       h(cons(X, Y)) -> h(g(cons(X, Y)))}
  Weak:
   {}
  DP:
   Strict:
    {      f#(s(X)) -> f#(X),
     h#(cons(X, Y)) -> g#(cons(X, Y)),
     h#(cons(X, Y)) -> h#(g(cons(X, Y)))}
   Weak:
   {         f(s(X)) -> f(X),
    g(cons(s(X), Y)) -> s(X),
       h(cons(X, Y)) -> h(g(cons(X, Y)))}
   EDG:
    {(f#(s(X)) -> f#(X), f#(s(X)) -> f#(X))}
    SCCS:
     Scc:
      {f#(s(X)) -> f#(X)}
     SCC:
      Strict:
       {f#(s(X)) -> f#(X)}
      Weak:
      {         f(s(X)) -> f(X),
       g(cons(s(X), Y)) -> s(X),
          h(cons(X, Y)) -> h(g(cons(X, Y)))}
      SPSC:
       Simple Projection:
        pi(f#) = 0
       Strict:
        {}
       Qed