let set_loop_int_post stmt post = Hashtbl.replace loop_int_post stmt post