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