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