MAYBE
MAYBE
TRS:
 {   g(x, y) -> h(x, y),
  h(f(x), y) -> f(g(x, y))}
 DUP: We consider a non-duplicating system.
  Trs:
   {   g(x, y) -> h(x, y),
    h(f(x), y) -> f(g(x, y))}
  Fail