Yo supongo que las variables locales solo son accesibles en el procedimiento o función en que es declarada por lo que es 'fácil' saber si son usadas o no, pero las variables globales pueden ser accesibles incluso desde cualquier otra unidad, por lo que sería demasiado trabajo para identificar si es usada o no.
Bueno, eso pienso
Salud OS.