Very minor refactor of ExprSMTLIBPrinter method so that it is clearer what it does.
The doxygen comments for ExprSMTLIBPrinter where also improved to add clarity.