Patch by Dan Liew: "Improve the doxygen comments for ExprSMTLIBPrinter"