MAYBE
MAYBE
TRS:
 {
     +(x, 0()) -> x,
    +(x, s(y)) -> s(+(x, y)),
  +(0(), s(y)) -> s(y),
  s(+(0(), y)) -> s(y)
 }
 Fail