ahgMarked_ffzyxf(g(h(x,y)),f(a,a))f(h(x,x),g(f(y,a)))f(g(h(x,y)),f(a,a))f(h(x,x),g(f(y,a)))Marked_f(g(h(x,y)),f(a,a))Marked_f(h(x,x),g(f(y,a)))Marked_f(g(h(x,y)),f(a,a))Marked_f(y,a)