YES
Input TRS:
    1: a() -> b()
    2: f(g(a())) -> f(a())
Infeasibility test:
    F(a()) --> F(g(a()))
Symbol transition graph:
    a	--> b
    f	--> f
  Collapsable symbols: { }