NO
Input TRS:
      1: f(a()) -> f(a())
      2: a() -> b()
Trivially nonterminating rule 1.