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