Reconhecimento, atribuição e uso de identificadores
Verificação de tipo para operadores unários e remoção de código
inatingível.
Verificação de tipo de expressão aritmética.