The de Jongh property conjecture for intuitionistic set theory

Let $\operatorname{IZF}$ denote Intuitionistic Zermelo–Fraenkel set theory, and let an intermediate logic be a propositional logic extending intuitionistic propositional logic. The de Jongh property conjecture. $\operatorname{IZF}$ has the de Jongh property with respect to every intermediate logic. This would extend the established result from intermediate logics characterised by classes of finite trees to all intermediate logics, completing the anticipated intuitionistic set-theoretic analogue of de Jongh's theorem; the conjecture remains open.