MAYBE
TRS:
 {+(0(), x) -> x,
  +(1(), x) -> +(+(0(), 1()), x)}
 DP:
  Strict:
   {+#(1(), x) -> +#(+(0(), 1()), x),
    +#(1(), x) -> +#(0(), 1())}
  Weak:
  {+(0(), x) -> x,
   +(1(), x) -> +(+(0(), 1()), x)}
  EDG:
   {(+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(+(0(), 1()), x))
    (+#(1(), x) -> +#(+(0(), 1()), x), +#(1(), x) -> +#(0(), 1()))}
   SCCS:
    Scc:
     {+#(1(), x) -> +#(+(0(), 1()), x)}
    SCC:
     Strict:
      {+#(1(), x) -> +#(+(0(), 1()), x)}
     Weak:
     {+(0(), x) -> x,
      +(1(), x) -> +(+(0(), 1()), x)}
     Fail