YES

Problem:
 f(x,x) -> c()
 a() -> b()
 b() -> a()

Proof:
 Qed (Kahrs16)