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