struefalseMarked_g<=0Marked_ffpMarked_pgzyxf(x,y,z)g(<=(x,y),x,y,z)g(true,x,y,z)zg(false,x,y,z)f(f(p(x),y,z),f(p(y),z,x),f(p(z),x,y))p(0)0p(s(x))xf(x,y,z)g(<=(x,y),x,y,z)g(true,x,y,z)zg(false,x,y,z)f(f(p(x),y,z),f(p(y),z,x),f(p(z),x,y))p(0)0p(s(x))xMarked_f(x,y,z)Marked_g(<=(x,y),x,y,z)Marked_g(false,x,y,z)Marked_f(f(p(x),y,z),f(p(y),z,x),f(p(z),x,y))Marked_g(false,x,y,z)Marked_f(p(x),y,z)Marked_g(false,x,y,z)Marked_p(x)Marked_g(false,x,y,z)Marked_f(p(y),z,x)Marked_g(false,x,y,z)Marked_p(y)Marked_g(false,x,y,z)Marked_f(p(z),x,y)Marked_g(false,x,y,z)Marked_p(z)