MAYBE
MAYBE
TRS:
 {
        le(s(x), s(y)) -> le(x, y),
         le(s(x), 0()) -> false(),
            le(0(), y) -> true(),
          double(s(x)) -> s(s(double(x))),
           double(0()) -> 0(),
             log(s(x)) -> loop(s(x), s(0()), 0()),
              log(0()) -> logError(),
      loop(x, s(y), z) -> if(le(x, s(y)), x, s(y), z),
  if(false(), x, y, z) -> loop(x, double(y), s(z)),
   if(true(), x, y, z) -> z
 }
 DUP: We consider a duplicating system.
  Trs:
   {
          le(s(x), s(y)) -> le(x, y),
           le(s(x), 0()) -> false(),
              le(0(), y) -> true(),
            double(s(x)) -> s(s(double(x))),
             double(0()) -> 0(),
               log(s(x)) -> loop(s(x), s(0()), 0()),
                log(0()) -> logError(),
        loop(x, s(y), z) -> if(le(x, s(y)), x, s(y), z),
    if(false(), x, y, z) -> loop(x, double(y), s(z)),
     if(true(), x, y, z) -> z
   }
  Fail