MAYBE
MAYBE
TRS:
 {+(0(), x) -> x,
  +(1(), x) -> +(+(0(), 1()), x)}
 DUP: We consider a non-duplicating system.
  Trs:
   {+(0(), x) -> x,
    +(1(), x) -> +(+(0(), 1()), x)}
  Fail