Refactoring CNFizer.printer into serializer+printer.
Refactoring CNFizer.printer into serializer+printer.

pysmt/pysmt,idkwim/pysmt,chubbymaggie/pysmt,agriggio/pysmt,pysmt/pysmt,idkwim/pysmt,chubbymaggie/pysmt,agriggio/pysmt