Verificação de tipo de retorno, geração de código para: expressões, chamadas de funções, conversões de tipo  uso de paramâmetros