[model-checking] Проставление пересдачи