f(x,f(y,g(z)))
g(a())
g(b())
h(x)
