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