Ajustei os nomes das funções do “backend” para começarem com o verbo “write” para que fique claro sua intenção. A maior mudança, no entanto, foi a divisão da função “assert” original em quatro versões que podem avançar ou não na análise e mostrar ou não erros de compilação. Com isto, o código pode ser otimizado, evitando verificações redundantes (uma vez que estas funções já verificam se o símbolo atual é o passado como parâmetro).