Adicionei um pedaço da primeira etapa da verificação semântica