Now we can find models for maps too.

demo/Maps.scala

src/funcheck/CodeExtraction.scala

src/purescala/AbstractZ3Solver.scala

src/purescala/Evaluator.scala

src/purescala/FairZ3Solver.scala

src/purescala/Trees.scala

src/purescala/Z3ModelReconstruction.scala

src/purescala/Z3Solver.scala