[optimizations] remove unnecessary log printing

src/optimize_machine.ml

@@ -1090,7 +1090,7 @@ let step_replace_var m reuse step =
     Format.(
       fprintf fmt "%n{@[%a}@]" k (pp_comma_list pp_print_int) (IntS.elements s))
   in
-  Format.printf "AVANT %a@." (VMap.pp pp) asg;
+  (* Format.printf "AVANT %a@." (VMap.pp pp) asg; *)
   (* SSA *)
   let step_instrs = instrs_replace_var m fvar step_instrs in
   (* update the locations of assignments, consider as reassignments only the
@@ -1106,7 +1106,7 @@ let step_replace_var m reuse step =
     (*   asg *)
     (*   VSet.empty *)
   in
-  Format.printf "APRES %a@." (VMap.pp pp) asg;
+  (* Format.printf "APRES %a@." (VMap.pp pp) asg; *)
   (* not SSA anymore *)
   let step_instrs = add_ghost_assigns_reassigned rasg step_instrs in
   (* not SSA anymore *)