Fix for quote-escaping in smt2 printer