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