Extract more (range) positions

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

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

...main/scala/leon/synthesis/condabd/refinement/Filter.scala

src/main/scala/leon/verification/AnalysisPhase.scala

src/test/scala/leon/test/condabd/util/Scaffold.scala

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

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

src/test/scala/leon/test/purescala/TransformationTests.scala

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

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

...t/scala/leon/test/termination/TerminationRegression.scala

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

.../leon/test/verification/XLangVerificationRegression.scala