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