Update semantico.h