MAYBE
MAYBE
TRS:
 {
       1024_1(x) -> if(lt(x, 10()), x),
          1024() -> 1024_1(0()),
   if(true(), x) -> double(1024_1(s(x))),
  if(false(), x) -> s(0()),
      lt(x, 0()) -> false(),
   lt(0(), s(y)) -> true(),
  lt(s(x), s(y)) -> lt(x, y),
            10() -> double(s(double(s(s(0()))))),
     double(0()) -> 0(),
    double(s(x)) -> s(s(double(x)))
 }
 DUP: We consider a duplicating system.
  Trs:
   {
         1024_1(x) -> if(lt(x, 10()), x),
            1024() -> 1024_1(0()),
     if(true(), x) -> double(1024_1(s(x))),
    if(false(), x) -> s(0()),
        lt(x, 0()) -> false(),
     lt(0(), s(y)) -> true(),
    lt(s(x), s(y)) -> lt(x, y),
              10() -> double(s(double(s(s(0()))))),
       double(0()) -> 0(),
      double(s(x)) -> s(s(double(x)))
   }
  Fail