Merging with leon master

leon.out/Conqueue-edited.scala

src/main/scala/leon/invariant/util/CallGraph.scala

src/main/scala/leon/invariant/util/TreeUtil.scala

src/main/scala/leon/laziness/LazinessEliminationPhase.scala

src/main/scala/leon/laziness/LazinessUtil.scala

src/main/scala/leon/laziness/LazyClosureConverter.scala

src/main/scala/leon/laziness/LazyExpressionLifter.scala

src/main/scala/leon/laziness/LazyInstrumenter.scala

src/main/scala/leon/laziness/LazyVerificationPhase.scala

src/main/scala/leon/laziness/TypeRectifier.scala

.../lazy-datastructures/memoization/WeightedScheduling.scala

...ases/lazy-datastructures/withOrb/SortingnConcat-orb.scala