corrected Propositional pretty printing