Try to reduce the number of dictionary accesses used for binding in SMTLIBQueryPrinter.
Try to reduce the number of dictionary accesses used for binding
in SMTLIBQueryPrinter.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix