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