Agregando funciones para la implementación de la evaluación del comando Assert en hal-gui.