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