MAYBE

Problem:
 f(x,x) -> h(x,f(x,b()))
 f(g(y),y) -> h(y,f(g(y),c(b())))
 h(c(x),b()) -> h(b(),b())
 c(b()) -> b()

Proof:
 Open