Adiciona checagens da análise semantica