Print nested let-abbreviations in ExprSMTLIBPrinter