YES
Time: 0.001858
TRS:
 {              merge(x, nil()) -> x,
                merge(nil(), y) -> y,
  merge(++(x, y), ++(u(), v())) -> ++(x, merge(y, ++(u(), v()))),
  merge(++(x, y), ++(u(), v())) -> ++(u(), merge(++(x, y), v()))}
 DP:
  DP:
   {merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())),
    merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v())}
  TRS:
  {              merge(x, nil()) -> x,
                 merge(nil(), y) -> y,
   merge(++(x, y), ++(u(), v())) -> ++(x, merge(y, ++(u(), v()))),
   merge(++(x, y), ++(u(), v())) -> ++(u(), merge(++(x, y), v()))}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):