The curve restriction conjecture for irreducible overconvergent F-isocrystals

Let $X$ be a variety, let $\operatorname{\mathbf{F-Isoc}}^\dagger(X)$ denote the category of overconvergent $F$-isocrystals on $X$, and let $C \subseteq X$ be a curve. Curve restriction conjecture. For every irreducible $\mathcal{E} \in \operatorname{\mathbf{F-Isoc}}^\dagger(X)$, there exists a curve $C \subseteq X$ such that the pullback of $\mathcal{E}$ to $\operatorname{\mathbf{F-Isoc}}^\dagger(C)$ is irreducible. This is expected by analogy with Wiesend's theorem in the $\ell$-adic setting, but the source gives an approach only when the base field is finite.