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

Proof:
 Open