Changes in synthesis and repair for my thesis

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

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

src/main/scala/leon/synthesis/ConversionPhase.scala

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

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

src/main/scala/leon/synthesis/SynthesisSettings.scala

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

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

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

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

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

src/main/scala/leon/utils/DebugSections.scala

src/main/scala/leon/verification/InjectAsserts.scala

...n/verification/purescala/invalid/PropositionalLogic.scala

testcases/repair/Compiler/Compiler4.scala

testcases/repair/Compiler/Compiler6.scala

testcases/repair/Heap/Heap3.scala

testcases/repair/List/List13.scala

testcases/repair/List/List4.scala

testcases/repair/List/List5.scala