Extract tests from specification: passes(in,out)(Map(1 -> 2))

library/lang/package.scala

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

src/main/scala/leon/purescala/Constructors.scala

src/main/scala/leon/synthesis/InOutExample.scala

src/main/scala/leon/synthesis/Problem.scala

src/main/scala/leon/synthesis/Rules.scala

src/main/scala/leon/synthesis/rules/Cegis.scala