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