false<++Marked_++niltrueMarked_mergeif.Marked_ifmergevuzyxmerge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xmerge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xMarked_merge(.(x,y),.(u,v))Marked_if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))Marked_merge(.(x,y),.(u,v))Marked_merge(y,.(u,v))Marked_merge(.(x,y),.(u,v))Marked_merge(.(x,y),v)Marked_++(.(x,y),z)Marked_++(y,z)merge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xMarked_merge(.(x,y),.(u,v))Marked_merge(y,.(u,v))Marked_merge(.(x,y),.(u,v))Marked_merge(.(x,y),v)Marked_merge2Marked_merge(.(x,y),.(u,v))Marked_merge(.(x,y),v)merge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xMarked_merge(.(x,y),.(u,v))Marked_merge(y,.(u,v))merge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xMarked_merge(.(x,y),.(u,v))Marked_merge(y,.(u,v))Marked_merge1Marked_merge(.(x,y),.(u,v))Marked_merge(y,.(u,v))merge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xmerge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)xMarked_++(.(x,y),z)Marked_++(y,z)Marked_++1Marked_++(.(x,y),z)Marked_++(y,z)merge(nil,y)ymerge(x,nil)xmerge(.(x,y),.(u,v))if(<(x,u),.(x,merge(y,.(u,v))),.(u,merge(.(x,y),v)))++(nil,y)y++(.(x,y),z).(x,++(y,z))if(true,x,y)xif(false,x,y)x