MAYBE
Time: 0.001160
TRS:
 {  f +(x, 0()) -> f x,
  +(x, +(y, z)) -> +(+(x, y), z)}
 DP:
  DP:
   {  f# +(x, 0()) -> f# x,
    +#(x, +(y, z)) -> +#(x, y),
    +#(x, +(y, z)) -> +#(+(x, y), z)}
  TRS:
  {  f +(x, 0()) -> f x,
   +(x, +(y, z)) -> +(+(x, y), z)}
  EDG:
   {(+#(x, +(y, z)) -> +#(x, y), +#(x, +(y, z)) -> +#(x, y))
    (+#(x, +(y, z)) -> +#(x, y), +#(x, +(y, z)) -> +#(+(x, y), z))}
   STATUS:
    arrows: 0.777778
    SCCS (1):
     Scc:
      {+#(x, +(y, z)) -> +#(x, y)}
     
     SCC (1):
      Strict:
       {+#(x, +(y, z)) -> +#(x, y)}
      Weak:
      {  f +(x, 0()) -> f x,
       +(x, +(y, z)) -> +(+(x, y), z)}
      Open