let set_loop_int_post_bycase stmt post =
  Hashtbl.replace loop_int_post_bycase stmt post