Implemented support for Maps (as Arrays in SMTLIB) in the SMTLIBQueryPrinter.
Implemented support for Maps (as Arrays in SMTLIB) in the
SMTLIBQueryPrinter.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix