MAYBE
Trs:
 {f(c(a(), z, x)) -> b(a(), z),
    b(x, b(z, y)) -> f(b(f(f(z)), c(x, z, y))),
          b(y, z) -> z}
 Comment:
  We consider a duplicating trs.
  FAIL:
   Open