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