YES
Input TRS:
      1: concat(leaf(),Y) -> Y
      2: concat(cons(U,V),Y) -> cons(U,concat(V,Y))
      3: lessleaves(X,leaf()) -> false()
      4: lessleaves(leaf(),cons(W,Z)) -> true()
      5: lessleaves(cons(U,V),cons(W,Z)) -> lessleaves(concat(U,V),concat(W,Z))
Number of strict rules: 5
Direct POLO(bPol) ... removes: 4 1 3 5 2
      false	w: 2
      true	w: 0
      concat	w: 2 * x1 + x2 + 1
      cons	w: 2 * x1 + x2 + 2
      lessleaves	w: 2 * x1 + 2 * x2 + 1
      leaf	w: 1
Number of strict rules: 0