spirv-fuzz regards adding a dead continue from a continue target to itself as legal - this creates a self-loop from the continue target to itself, which is invalid.

We want to allow a dead continue to be added to a loop that is itself in some other loop's continue construct. But we do not want to allow a dead continue from the continue construct of a loop L to the continue target for L.

I suspect the problem may be that we depend on an analysis that regards a loop's continue target as part of the loop.