Есть один "железный" довод в пользу структурирования программ.
Вот в этой книжке:
https://www.ozon.ru/context/detail/id/8382755/Есть глава 2 Основы метрической теории программ.
И в этой главе вычисляется цикломатическое число - которое представляет собой метрику МакКейба
Z(G)=e-v+2p. Для одномодульной программы = Z(G)=e-v+2.
Здесь е - ребра графа потока управления программы, v - вершины этого графа (операторы).
То есть надо реально построить граф в каком-нить виде.
Так вот, для структурированной программы Z(G) = n + 1,
где n - количество вершин ветвления.
Чтобы это посчитать - даже не требуется граф потока управления строить - просто операторы ветвления и цикла посчитать - и все.
Далее в той же главе написано, что Липаев показал: при Z < 10 все можно корректно проверить и число ошибок будет минимальным.
При Z > 30 устранить ошибки практически невозможно.
Ну и для промежуточных значений - значительные сложности с доведением "до ума".
Значение Z < 10, как мне кажется, связано с числом Миллера 7+-2.