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

Proof:
 Open