gMarked_ffvuzyxf(f(x,y,z),u,f(x,y,v))f(x,y,f(z,u,v))f(x,y,y)yf(x,y,g(y))xf(x,x,y)xf(g(x),x,y)yf(f(x,y,z),u,f(x,y,v))f(x,y,f(z,u,v))f(x,y,y)yf(x,y,g(y))xf(x,x,y)xf(g(x),x,y)yMarked_f(f(x,y,z),u,f(x,y,v))Marked_f(x,y,f(z,u,v))Marked_f(f(x,y,z),u,f(x,y,v))Marked_f(z,u,v)f(f(x,y,z),u,f(x,y,v))f(x,y,f(z,u,v))f(x,y,y)yf(x,y,g(y))xf(x,x,y)xf(g(x),x,y)yMarked_f(f(x,y,z),u,f(x,y,v))Marked_f(x,y,f(z,u,v))Marked_f(f(x,y,z),u,f(x,y,v))Marked_f(z,u,v)Marked_f1Marked_f(f(x,y,z),u,f(x,y,v))Marked_f(z,u,v)Marked_f(f(x,y,z),u,f(x,y,v))Marked_f(x,y,f(z,u,v))f(f(x,y,z),u,f(x,y,v))f(x,y,f(z,u,v))f(x,y,y)yf(x,y,g(y))xf(x,x,y)xf(g(x),x,y)y