Problem:
 a() -> b()
 a() -> c()
 a() -> e()
 b() -> d()
 c() -> a()
 d() -> a()
 d() -> e()
 g(x) -> h(a())
 h(x) -> e()

Proof:
 Open