Properly |quote| symbols in SMT-LIBv2 output.