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