Verificação de tipo para operadores unários e remoção de código
inatingível.