Leon defines its own Maps

src/main/scala/leon/frontends/scalac/ASTExtractors.scala

src/main/scala/leon/frontends/scalac/CodeExtraction.scala

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/TypeOps.scala

...esources/regression/frontends/passing/ImplicitDefs2.scala

...egression/verification/newsolvers/valid/LiteralMaps.scala

...egression/verification/newsolvers/valid/PositiveMap.scala

...regression/verification/purescala/valid/LiteralMaps.scala

src/test/scala/leon/test/purescala/DataGen.scala