The integral-closedness criterion for integer-valued polynomial rings on algebras

Let $D$ be an ADDB-domain. Let $A$ be a $D$-algebra that is torsion-free and finitely generated as a $D$-module, with $A \cap K = D$, and let $B=A\otimes_D K$. Thus $D$ and $A$ satisfy the hypotheses of the main theorem.

Integral-closedness criterion. If $\operatorname{Int}_K(A)$ is integrally closed, then $\operatorname{Int}_K(A)$ is Prüfer.

The theorem preceding this conjecture gives several equivalent conditions for $\operatorname{Int}_K(A)$ to be Prüfer, including its equality with $\operatorname{Int}_K(A,A')$ and the condition $A=A'$. The conjecture asks whether integral closedness alone is sufficient in the general ADDB-domain setting; the full resolution remains open.