YES
Time: 0.001874
TRS:
 {  +(x, 0()) -> x,
    +(x, s y) -> s +(x, y),
  +(0(), s y) -> s y,
  s +(0(), y) -> s y}
 DP:
  DP:
   {  +#(x, s y) -> +#(x, y),
      +#(x, s y) -> s# +(x, y),
    s# +(0(), y) -> s# y}
  TRS:
  {  +(x, 0()) -> x,
     +(x, s y) -> s +(x, y),
   +(0(), s y) -> s y,
   s +(0(), y) -> s y}
  UR:
   {  +(x, 0()) -> x,
      +(x, s y) -> s +(x, y),
    +(0(), s y) -> s y,
    s +(0(), y) -> s y}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):