Verificacion de tipo en la variable de CASO
Validacion para no desapilar de pilas vacias