Eliminación de variables locales redundantes