TRS:
 {f(a(), x) -> g(a(), x),
  g(a(), x) -> f(b(), x),
  f(a(), x) -> f(b(), x)}
 Fail