dual :: SignedPrenexBody -> SignedPrenexBody
dual (SPAtomic b p xs) = SPAtomic (not b) p xs
dual :: SignedPrenexBody -> SignedPrenexBody
dual (SPAtomic b p xs) = SPAtomic (not b) p xs
dual (SPAtomic b p xs) = SPAtomic (not b) p xs