Ao realizar testes durante a elaboração de um compilador,
um analista descobriu que havia, no compilador, um erro
na checagem de tipos de variáveis em expressões, permitindo,
por exemplo, a multiplicação entre tipos de dados
que não poderia ocorrer. Em compiladores, a checagem
de tipos de variáveis em expressões é uma função do