MAYBE
MAYBE
TRS:
 {h(f(f(x))) -> h(f(g(f(x)))),
  f(g(f(x))) -> f(f(x))}
 Fail