YES
Input TRS:
      1: merge(x,nil()) -> x
      2: merge(nil(),y) -> y
      3: merge(++(x,y),++(u(),v())) -> ++(x,merge(y,++(u(),v())))
      4: merge(++(x,y),++(u(),v())) -> ++(u(),merge(++(x,y),v()))
Number of strict rules: 4
Direct POLO(bPol) ... removes: 4 1 3 2
      merge	w: 2 * x1 + 2 * x2
      v 	w: 11798
      u 	w: 32286
      ++	w: 2 * x1 + x2 + 8366
      nil	w: 10451
Number of strict rules: 0