Class SmtExprPrinter.Visitor