Update semantico.cpp