Почему вы вообще решили, что красный до сих пор в петле, но забыл о том, что он красный? Точнее, что после выхода контролёра из петли остаётся его копия, а не пустые оболочки, как от аранеа и Вейерса?