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

Proof:
 Open