MAYBE
Time: 0.000892
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:
   {(f# +(x, 0()) -> f# x, f# +(x, 0()) -> f# x)
    (+#(x, +(y, z)) -> +#(x, y), +#(x, +(y, z)) -> +#(x, y))
    (+#(x, +(y, z)) -> +#(x, y), +#(x, +(y, z)) -> +#(+(x, y), z))
    (+#(x, +(y, z)) -> +#(+(x, y), z), +#(x, +(y, z)) -> +#(x, y))
    (+#(x, +(y, z)) -> +#(+(x, y), z), +#(x, +(y, z)) -> +#(+(x, y), z))}
   STATUS:
    arrows: 0.444444
    SCCS (2):
     Scc:
      {f# +(x, 0()) -> f# x}
     Scc:
      {+#(x, +(y, z)) -> +#(x, y),
       +#(x, +(y, z)) -> +#(+(x, y), z)}
     
     SCC (1):
      Strict:
       {f# +(x, 0()) -> f# x}
      Weak:
      {  f +(x, 0()) -> f x,
       +(x, +(y, z)) -> +(+(x, y), z)}
      Open
     SCC (2):
      Strict:
       {+#(x, +(y, z)) -> +#(x, y),
        +#(x, +(y, z)) -> +#(+(x, y), z)}
      Weak:
      {  f +(x, 0()) -> f x,
       +(x, +(y, z)) -> +(+(x, y), z)}
      Open