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)))}
 DP:
  Strict:
   {     1024_1#(x) -> if#(lt(x, 10()), x),
         1024_1#(x) -> lt#(x, 10()),
         1024_1#(x) -> 10#(),
            1024#() -> 1024_1#(0()),
     if#(true(), x) -> 1024_1#(s(x)),
     if#(true(), x) -> double#(1024_1(s(x))),
    lt#(s(x), s(y)) -> lt#(x, y),
              10#() -> double#(s(double(s(s(0()))))),
              10#() -> double#(s(s(0()))),
      double#(s(x)) -> double#(x)}
  Weak:
  {     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)))}
  EDG:
   {(if#(true(), x) -> 1024_1#(s(x)), 1024_1#(x) -> 10#())
    (if#(true(), x) -> 1024_1#(s(x)), 1024_1#(x) -> lt#(x, 10()))
    (if#(true(), x) -> 1024_1#(s(x)), 1024_1#(x) -> if#(lt(x, 10()), x))
    (1024_1#(x) -> lt#(x, 10()), lt#(s(x), s(y)) -> lt#(x, y))
    (1024_1#(x) -> if#(lt(x, 10()), x), if#(true(), x) -> double#(1024_1(s(x))))
    (1024_1#(x) -> if#(lt(x, 10()), x), if#(true(), x) -> 1024_1#(s(x)))
    (10#() -> double#(s(double(s(s(0()))))), double#(s(x)) -> double#(x))
    (if#(true(), x) -> double#(1024_1(s(x))), double#(s(x)) -> double#(x))
    (10#() -> double#(s(s(0()))), double#(s(x)) -> double#(x))
    (1024#() -> 1024_1#(0()), 1024_1#(x) -> if#(lt(x, 10()), x))
    (1024#() -> 1024_1#(0()), 1024_1#(x) -> lt#(x, 10()))
    (1024#() -> 1024_1#(0()), 1024_1#(x) -> 10#())
    (lt#(s(x), s(y)) -> lt#(x, y), lt#(s(x), s(y)) -> lt#(x, y))
    (1024_1#(x) -> 10#(), 10#() -> double#(s(double(s(s(0()))))))
    (1024_1#(x) -> 10#(), 10#() -> double#(s(s(0()))))
    (double#(s(x)) -> double#(x), double#(s(x)) -> double#(x))}
   SCCS:
    Scc:
     {double#(s(x)) -> double#(x)}
    Scc:
     {lt#(s(x), s(y)) -> lt#(x, y)}
    Scc:
     {    1024_1#(x) -> if#(lt(x, 10()), x),
      if#(true(), x) -> 1024_1#(s(x))}
    SCC:
     Strict:
      {double#(s(x)) -> double#(x)}
     Weak:
     {     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)))}
     SPSC:
      Simple Projection:
       pi(double#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {lt#(s(x), s(y)) -> lt#(x, y)}
     Weak:
     {     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)))}
     SPSC:
      Simple Projection:
       pi(lt#) = 0
      Strict:
       {}
      Qed
    SCC:
     Strict:
      {    1024_1#(x) -> if#(lt(x, 10()), x),
       if#(true(), x) -> 1024_1#(s(x))}
     Weak:
     {     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