Salve,
a oficina 3 gerou discussões bem interessantes. Colocamos um resumo no wiki:
https://paca.ime.usp.br/mod/wiki/comments.php?pageid=288
Além de nos mostrar os próximos passos do projeto, a oficina 3 ajudou a definir melhor a forma canônica (ou formas canônicas) que podem ser geradas no EP13. Em particular:
- Todos os identificadores devem ser trocados por um único nome (como X) e testar se há igualdade.
- Antes e/ou depois de trocar os identificadores (ou ambos, antes e depois), eliminar os "brancos" desnecessários e testar de há igualdade.
coelho e hitoshi