NO

Problem:
 f() -> b()
 b() -> f()

Proof:
 Unfolding Processor:
  loop length: 2
  terms:
   f()
   b()
  context: []
  substitution:
   
  Qed