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