MAYBE
Time: 3.939050
TRS:
 {  +(0(), y) -> y,
  +(s x, 0()) -> s x,
  +(s x, s y) -> s +(s x, +(y, 0()))}
 DP:
  DP:
   {+#(s x, s y) -> +#(y, 0()),
    +#(s x, s y) -> +#(s x, +(y, 0()))}
  TRS:
  {  +(0(), y) -> y,
   +(s x, 0()) -> s x,
   +(s x, s y) -> s +(s x, +(y, 0()))}
  UR:
   {  +(0(), y) -> y,
    +(s x, 0()) -> s x}
   EDG:
    {(+#(s x, s y) -> +#(s x, +(y, 0())), +#(s x, s y) -> +#(y, 0()))
     (+#(s x, s y) -> +#(s x, +(y, 0())), +#(s x, s y) -> +#(s x, +(y, 0())))}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {+#(s x, s y) -> +#(s x, +(y, 0()))}
      
      SCC (1):
       Strict:
        {+#(s x, s y) -> +#(s x, +(y, 0()))}
       Weak:
       {  +(0(), y) -> y,
        +(s x, 0()) -> s x,
        +(s x, s y) -> s +(s x, +(y, 0()))}
       Open