FunctionClosure everywhere!

src/main/scala/leon/Main.scala

src/main/scala/leon/utils/PreprocessingPhase.scala

src/main/scala/leon/xlang/XLangDesugaringPhase.scala

...test/scala/leon/regression/frontends/FrontEndsSuite.scala

src/test/scala/leon/regression/repair/RepairSuite.scala

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

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

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

.../scala/leon/regression/termination/TerminationSuite.scala

...st/scala/leon/regression/testcases/TestCasesCompile.scala

...on/regression/verification/LibraryVerificationSuite.scala

...cala/leon/regression/verification/VerificationSuite.scala

...leon/regression/verification/XLangVerificationSuite.scala

src/test/scala/leon/test/LeonTestSuiteWithProgram.scala