Correção Bug Simplificações
A -> B (transitividade)
Fechos vazios (implementação de fila)