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

Proof:
 Open