ChooseInfo -> SourceInfo

src/main/scala/leon/repair/Repairman.scala

src/main/scala/leon/synthesis/FileInterface.scala

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

src/main/scala/leon/synthesis/SearchContext.scala

src/main/scala/leon/synthesis/SourceInfo.scala

src/main/scala/leon/synthesis/SynthesisPhase.scala

src/main/scala/leon/synthesis/Synthesizer.scala

src/main/scala/leon/synthesis/graph/Search.scala

...eon/synthesis/utils/SynthesisProblemExtractionPhase.scala

...scala/leon/regression/synthesis/StablePrintingSuite.scala

.../leon/regression/synthesis/SynthesisRegressionSuite.scala

...test/scala/leon/regression/synthesis/SynthesisSuite.scala