На самом деле, в нормальной процедуре не так уж и много локальных переменных. Обычно она вполне хорошо обозрима и понимаема. К тому же уровень современных ИДЕ впечатляет своей "интеллектуальностью", когда за тебя чуть-ли не весь код пишется.