MAYBE
MAYBE
TRS:
 {
  f(f(f(a(), x), y), z) -> f(f(x, z), f(y, z)),
        f(f(b(), x), y) -> x,
              f(c(), y) -> y
 }
 Fail