prenex (p :|: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (POr p' q')
prenex (p :|: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (POr p' q')
prenex (p :|: q)     = let Prenex quantsp' p' = prenex p
                           Prenex quantsq' q' = prenex q
                       in Prenex (quantsp' ++ quantsq') (POr p' q')