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

Proof:
 Open