Finite-pattern definability conjecture for invariant types

Let $p(x)$ be a global $M$-invariant type and let $\Delta$ be a finite set of formulas.

Finite-pattern definability conjecture. There is a finite set $\Delta'$ of formulas such that, for every $\phi(x;y)\in p$ and $b,b'\in\mathcal U$, if

$$\operatorname{tp}_{\Delta'}(b/M)=\operatorname{tp}_{\Delta'}(b'/M),$$

then

$$p\vdash \phi(x;b)\leftrightarrow\phi(x;b').$$

The paper states that a positive answer to the invariant-type quotient conjecture would imply this property. Its status is not resolved in the supplied text.