TRS:
 {       f(g(x)) -> g(f(f(x))),
         f(h(x)) -> h(g(x)),
  f'(s(x), y, y) -> f'(y, x, s(x))}
 Fail