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

Proof:
 Open