YES
Input TRS:
      1: f(s(X)) -> f(X)
      2: g(cons(0(),Y)) -> g(Y)
      3: g(cons(s(X),Y)) -> s(X)
      4: h(cons(X,Y)) -> h(g(cons(X,Y)))
Number of strict rules: 4
Direct POLO(bPol) ... removes: 1 3 2
      h 	w: x1 + 33673
      s 	w: 2 * x1 + 1
      f 	w: 2 * x1 + 1142
      0 	w: 1
      cons	w: 2 * x1 + x2 + 282
      g 	w: x1
Number of strict rules: 1
Direct POLO(bPol) ... failed.
Uncurrying h
      4: h^1_cons(X,Y) -> h^1_g(cons(X,Y))
      5: h(cons(_1,_2)) ->= h^1_cons(_1,_2)
      6: h(g(_1)) ->= h^1_g(_1)
Number of strict rules: 1
Direct POLO(bPol) ... removes: 4 5 6
      h 	w: 2 * x1 + 40
      s 	w: x1
      h^1_g	w: 2 * x1 + 38
      f 	w: x1
      0 	w: 0
      cons	w: x1 + x2 + 1
      g 	w: 2 * x1 + 1
      h^1_cons	w: 2 * x1 + 2 * x2 + 41
Number of strict rules: 0