YES
Time: 0.001679
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)}
 DP:
  DP:
   {         f# s X -> f# X,
    g# cons(0(), Y) -> g# Y,
      h# cons(X, Y) -> g# cons(X, Y),
      h# cons(X, Y) -> h# g cons(X, Y)}
  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)}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):