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