The Potential is just a blind warning. In your case you are sampling conditioned on the posterior indicator variables, so the Potential doesn’t matter anymore right? It would only matter if you were interested in resampling the indicator variables (or in prior_predictive).