Let $:f:X\to Y$ be a projective surjective morphism between two normal varieties over $\mathbb{C}$. Assume that $f$ has only $1$-dimensional fibers. Let $D$ be a multi-section of $f$, i.e., $D$ is a prime Weil divisor on $X$ such that $f|_D: D\to Y$ is a generically finite surjective morphism. Let $D\to Y''\to Y $ be the Stein factorization of $f|_D$ and $Y'\to Y''$ the normalization morphism. Now we do a fiber product between $f:X\to $Y and $\phi:Y'\to Y$, i.e., $X\times_Y Y'$. Let $X'$ be the normalization of the main component of $X\times_Y Y'$ dominating $Y'$. Let $f':X'\to Y'$ and $\phi':X'\to X$ be the corresponding projections.

Now in this scenario, I have seen in several papers so far now (without any explanation) that **$\phi'^{-1}D$ splits into irreducible components, at least one of which becomes a section for $f':X'\to Y'$ over a dense open subset of $Y'$**.

My question is why is this true? How would one prove it formally? I actually need to make all the components of $\phi'^{-1}D$ into sections over some dense open set, so I believe I will have to perform this kind base changes few more times, then how I do know this process stops after finitely many steps?

** I assumed $D$ is only a prime Weil diviso but it helps you may assume that it is also a Cartier divisor, so that pullback makes sense.

** I would like to mention that this seems to be a standard technique in proving the Canonical Bundle Formula when the relative dimension is $1$. For example, this argument appears in the proof of Theorem 8.1 in the paper "Towards the second main theorem on complements" by Prokhorov and Shokurov (2009).