Even more fixes

src/main/scala/leon/purescala/Common.scala

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

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

src/main/scala/leon/purescala/ExprOps.scala

src/main/scala/leon/purescala/Expressions.scala

src/main/scala/leon/purescala/Extractors.scala

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

src/main/scala/leon/purescala/Transformer.scala

src/main/scala/leon/purescala/TreeNormalizations.scala

src/main/scala/leon/purescala/TypeOps.scala

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

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

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

src/test/scala/leon/test/purescala/WithLikelyEq.scala