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