Use imports

src/main/scala/leon/purescala/DefOps.scala

src/main/scala/leon/synthesis/ChooseInfo.scala

src/main/scala/leon/synthesis/SynthesisContext.scala

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

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

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

src/main/scala/leon/synthesis/utils/Helpers.scala

src/test/scala/leon/test/codegen/CodeGenTests.scala

src/test/scala/leon/test/evaluators/EvaluatorsTests.scala

src/test/scala/leon/test/frontends/FrontEndsTest.scala

src/test/scala/leon/test/frontends/Imports.scala

src/test/scala/leon/test/purescala/DefOpsTests.scala

.../scala/leon/test/synthesis/SynthesisRegressionSuite.scala

src/test/scala/leon/test/synthesis/SynthesisSuite.scala

...eon/test/verification/LibraryVerificationRegression.scala

...n/test/verification/PureScalaVerificationRegression.scala