Algunos cambios hechos al Checker y a la tabla de simbolos