TIMEOUT
MAYBE
Trs:
 {+(0(), s(y)) -> s(y),
     +(x, 0()) -> x,
    +(x, s(y)) -> s(+(x, y)),
  s(+(0(), y)) -> s(y)}
 Open