Adicionando regras para expressões matemáticas
Adicionando biblioteca de checagens necessárias no compilador