NO
Input TRS:
      1: f(x) -> f(x)
Trivially nonterminating rule 1.