Field Extraction & handling

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

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

src/main/scala/leon/purescala/Definitions.scala

src/main/scala/leon/purescala/FunctionClosure.scala

src/main/scala/leon/purescala/MethodLifting.scala

src/main/scala/leon/purescala/PrettyPrinter.scala

src/main/scala/leon/purescala/RestoreMethods.scala

src/main/scala/leon/purescala/ScopeSimplifier.scala

src/main/scala/leon/purescala/TreeOps.scala

...main/scala/leon/solvers/combinators/UnrollingSolver.scala

src/main/scala/leon/solvers/z3/FairZ3Solver.scala

src/main/scala/leon/synthesis/SimpleSearch.scala

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

src/main/scala/leon/synthesis/heuristics/ADTInduction.scala

...in/scala/leon/synthesis/heuristics/ADTLongInduction.scala

src/main/scala/leon/synthesis/heuristics/IntInduction.scala

...main/scala/leon/synthesis/rules/IntegerInequalities.scala

src/main/scala/leon/termination/StructuralSize.scala

src/main/scala/leon/utils/UnitElimination.scala

src/main/scala/leon/xlang/EpsilonElimination.scala