exprToPrenexDNF :: Expr -> PrenexDNF
exprToPrenexDNF p = let Prenex quants p' = prenex p
                    in PrenexDNF quants (makeDNF (makeSigned p'))
exprToPrenexDNF :: Expr -> PrenexDNF
exprToPrenexDNF p = let Prenex quants p' = prenex p
                    in PrenexDNF quants (makeDNF (makeSigned p'))
exprToPrenexDNF p = let Prenex quants p' = prenex p
                    in PrenexDNF quants (makeDNF (makeSigned p'))