makeSigned :: PrenexBody -> SignedPrenexBody
makeSigned (PAtomic p xs) = SPAtomic True p xs
makeSigned :: PrenexBody -> SignedPrenexBody
makeSigned (PAtomic p xs) = SPAtomic True p xs
makeSigned (PAtomic p xs) = SPAtomic True p xs