YES
Time: 0.001496
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()))}
  UR:
   {}
   EDG:
    {(merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()), merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()))
     (merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()), merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())))
     (merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())))
     (merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()))}
    EDG:
     {(merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())))
      (merge#(++(x, y), ++(u(), v())) -> merge#(y, ++(u(), v())), merge#(++(x, y), ++(u(), v())) -> merge#(++(x, y), v()))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):