Removed the recursive evaluation of a value in the model.

src/main/scala/leon/evaluators/AbstractEvaluator.scala

src/main/scala/leon/evaluators/Evaluator.scala

src/main/scala/leon/evaluators/EvaluatorContexts.scala

src/main/scala/leon/evaluators/RecursiveEvaluator.scala

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

src/main/scala/leon/purescala/SelfPrettyPrinter.scala

src/main/scala/leon/repair/rules/Focus.scala

src/main/scala/leon/synthesis/ExamplesBank.scala

src/main/scala/leon/synthesis/ExamplesFinder.scala

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

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

src/test/scala/leon/test/helpers/WithLikelyEq.scala