YES
Input TRS:
      1: rev(nil()) -> nil()
      2: rev(.(x,y)) -> ++(rev(y),.(x,nil()))
      3: car(.(x,y)) -> x
      4: cdr(.(x,y)) -> y
      5: null(nil()) -> true()
      6: null(.(x,y)) -> false()
      7: ++(nil(),y) -> y
      8: ++(.(x,y),z) -> .(x,++(y,z))
Number of strict rules: 8
Direct POLO(bPol) ... removes: 4 1 3 5 6
      cdr	w: x1 + 25906
      ++	w: x1 + x2
      false	w: 1324
      true	w: 0
      null	w: 2 * x1 + 1324
      nil	w: 0
      rev	w: x1 + 18458
      . 	w: 2 * x1 + x2 + 1
      car	w: x1
Number of strict rules: 3
Direct POLO(bPol) ... removes: 7 2
      cdr	w: x1 + 25906
      ++	w: x1 + x2 + 1
      false	w: 1325
      true	w: 1
      null	w: x1 + 1324
      nil	w: 1
      rev	w: 2 * x1 + 1
      . 	w: 2 * x1 + x2 + 3
      car	w: x1
Number of strict rules: 1
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #++(.(x,y),z) -> #++(y,z)
Number of SCCs: 1, DPs: 1
  SCC { #1 }
POLO(Sum)... succeeded.
      cdr	w: 0
      ++	w: 0
      false	w: 0
      true	w: 0
      null	w: 0
      #++	w: x1
      nil	w: 0
      rev	w: 0
      . 	w: x2 + 1
      car	w: 0
    USABLE RULES: { }
    Removed DPs: #1
Number of SCCs: 0, DPs: 0