Divergences with unused variables

I think you’re on the right track.

However, what do you mean by false positive divergences?