Ответ: Оптимизатор тут ни при чём...Скажу Вам лишь несколько ключевых фраз...Вы человек умный - поймёте что к чему..."неявный автоматический контроль(проверка)"...."удаление отладочной информации после окончания верификации программы"...."автоматичекая генерация проверочных участков кода"