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

Proof:
 Open