Оно то конечно так, но...
Мы не знаем куда он будет ещё встраивать этот кусок. Не будет ли там одноимённых бесхозных переменных.
Да и вообще так лучше. Я например использую переменные для циклов $i, $j, $m ... в разных местах скрипта. И не только для циклов, для коротких времянок тоже.
Если я где-то использовал и больше не нужна и не сбросил, в цикл войду неправильно. Подпрограммы опять же инклюды всякие.