block was redundantly applying the scope

src/main/scala/leon/ImperativeCodeElimination.scala

@@ -91,7 +91,7 @@ object ImperativeCodeElimination extends Pass {
           (scope, accFun ++ rFun)
         })
         val (lastRes, lastScope, lastFun) = toFunction(expr)
-        (scope(replace(fun.map{ case (i1, i2) => (i1.toVariable, i2.toVariable) }, lastRes)),
+        (replace(fun.map{ case (i1, i2) => (i1.toVariable, i2.toVariable) }, lastRes),
          (body: Expr) => scope(lastScope(body)),
          fun ++ lastFun)
       }