YES
TRS:
 {f(s(X), Y) -> h(s(f(h(Y), X)))}
 DP:
  Strict:
   {f#(s(X), Y) -> f#(h(Y), X)}
  Weak:
  {f(s(X), Y) -> h(s(f(h(Y), X)))}
  EDG:
   {}
   SCCS:
    
    Qed