MAYBE
Time: 0.000983
TRS:
 {f(f(a(), x), y) -> f(f(x, f(a(), y)), a())}
 DP:
  DP:
   {f#(f(a(), x), y) -> f#(x, f(a(), y)),
    f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()),
    f#(f(a(), x), y) -> f#(a(), y)}
  TRS:
  {f(f(a(), x), y) -> f(f(x, f(a(), y)), a())}
  EDG:
   {(f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()), f#(f(a(), x), y) -> f#(a(), y))
    (f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()), f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()))
    (f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()), f#(f(a(), x), y) -> f#(x, f(a(), y)))
    (f#(f(a(), x), y) -> f#(x, f(a(), y)), f#(f(a(), x), y) -> f#(x, f(a(), y)))
    (f#(f(a(), x), y) -> f#(x, f(a(), y)), f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a()))
    (f#(f(a(), x), y) -> f#(x, f(a(), y)), f#(f(a(), x), y) -> f#(a(), y))}
   STATUS:
    arrows: 0.333333
    SCCS (1):
     Scc:
      {f#(f(a(), x), y) -> f#(x, f(a(), y)),
       f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a())}
     
     SCC (2):
      Strict:
       {f#(f(a(), x), y) -> f#(x, f(a(), y)),
        f#(f(a(), x), y) -> f#(f(x, f(a(), y)), a())}
      Weak:
      {f(f(a(), x), y) -> f(f(x, f(a(), y)), a())}
      Open