Um Compilador de Exceções para Otimização de Programas em Lógica Baseados no Paradgima de Geração e Teste Documento