MAYBE
TRS:
 {f(y, f(y, x)) -> f(f(a(), y), f(a(), y))}
 DP:
  Strict:
   {f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)),
    f#(y, f(y, x)) -> f#(a(), y)}
  Weak:
  {f(y, f(y, x)) -> f(f(a(), y), f(a(), y))}
  EDG:
   {(f#(y, f(y, x)) -> f#(a(), y), f#(y, f(y, x)) -> f#(a(), y))
    (f#(y, f(y, x)) -> f#(a(), y), f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)))
    (f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)), f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)))
    (f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)), f#(y, f(y, x)) -> f#(a(), y))}
   SCCS:
    Scc:
     {f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)),
      f#(y, f(y, x)) -> f#(a(), y)}
    SCC:
     Strict:
      {f#(y, f(y, x)) -> f#(f(a(), y), f(a(), y)),
       f#(y, f(y, x)) -> f#(a(), y)}
     Weak:
     {f(y, f(y, x)) -> f(f(a(), y), f(a(), y))}
     Fail