Pearl et al. "Causal Inference in Statistics: A Primer" (2016) p. 108 contains the following adjustment formula (based on the backdoor criterion) for probabilities of counterfactuals expressed using observed data: \begin{align} P(Y_x|X=x')=\sum_z P(Y=y|X=x,Z=z) P(Z=z|X=x'). \tag{4.21} \end{align} The derivation is as follows: \begin{align} P(Y_x|X=x') &= \sum_z P(Y_x=y|X=x\color{red}{'},Z=z) P(Z=z|X=x') \\ &= \sum_z P(Y_\color{red}{x}=y|X=x,Z=z) P(Z=z|X=x') \\ &= \sum_z P(Y=y|X=x,Z=z) P(Z=z|X=x'). \end{align} The top equality simply partitions the original $P(Y_x|X=x')$ w.r.t $Z$. Since $Z$ satisfies the backdoor criterion, $(Y_x\perp \!\!\! \perp X)|Z$, so $P(Y_x|X,Z)=P(Y_x|Z)$. This allows replacing $x\color{red}{'}$ by $x$ and yields the middle equality. The bottom equality follows from the consistency rule: if $X=x$ then $Y_\color{red}{x}=Y$.
I am interested in taking things one step further. If $(Y_x\perp \!\!\! \perp X)|Z$, could we not get rid of conditioning on $X=x$ altogether and have \begin{align} P(Y_x|X=x') &= \sum_z P(Y=y|\color{red}{X=x},Z=z) P(Z=z|X=x') \\ &= \sum_z P(Y=y|Z=z) P(Z=z|X=x') \quad ? \end{align}