adding new regressions tests

src/main/scala/leon/Settings.scala

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

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

src/main/scala/leon/xlang/ArrayTransformation.scala

src/main/scala/leon/xlang/FunctionClosure.scala

src/main/scala/leon/xlang/ImperativeCodeElimination.scala

src/main/scala/leon/xlang/Trees.scala

...ources/regression/verification/xlang/invalid/Array1.scala

...ources/regression/verification/xlang/invalid/Array2.scala

...ources/regression/verification/xlang/invalid/Array3.scala

...ources/regression/verification/xlang/invalid/Array4.scala

...ources/regression/verification/xlang/invalid/Array5.scala

...rces/regression/verification/xlang/invalid/Epsilon1.scala

...rces/regression/verification/xlang/invalid/Epsilon2.scala

...rces/regression/verification/xlang/invalid/Epsilon3.scala

...rces/regression/verification/xlang/invalid/Epsilon4.scala

...rces/regression/verification/xlang/invalid/Epsilon5.scala

...rces/regression/verification/xlang/invalid/Epsilon6.scala

...urces/regression/verification/xlang/invalid/IfExpr2.scala

...rces/regression/verification/xlang/invalid/MyTuple1.scala