let set_loop_int_pre_bycase stmt pre =
  Hashtbl.replace loop_int_pre_bycase stmt pre