Я понимаю этот вопрос так.

Иногда декомпозицию по локальному контексту дальше делать уже неудобно, а рубить алгоритмически ещё хочется. (При разборе примеров со студентами особенно часто ощущается). Протаскивать всё через параметры - замахаешься. Надо, чтобы стоимость этого "дорубливания до мелкой капусты" была минимальной.

Кроме того, часто непростую управляющую логику уложить в структурные конструкции без вынесения дублирующих участков во вложенные процедуры не получается.