[e-acsl] removing inexpected debugging message

src/plugins/e-acsl/env.ml

@@ -157,7 +157,6 @@ let new_var ?(global=false) env t ty mk_stmts =
       match t with
       | None -> raise No_term
       | Some t -> 
-	Options.feedback "memoized %a" Term.pretty t;
 	Term.Map.find t local_env.mpz_tbl.new_exps, env
     with Not_found | No_term -> 
       do_new_var ~global env t ty mk_stmts  

src/plugins/e-acsl/tests/e-acsl-runtime/oracle/result.res.oracle

-[e-acsl] memoized \old(x)
-[e-acsl] memoized \old(x)
-[e-acsl] memoized \old(x)-\old(x)
 tests/e-acsl-runtime/result.i:7:[e-acsl] warning: missing guard for ensuring that the given integer is C-representable
-[e-acsl] memoized \result
-[e-acsl] memoized 0
 [value] Analyzing a complete application starting at main
 [value] Computing initial state
 [value] Initial state computed