let set_loop_int_pre stmt pre = Hashtbl.replace loop_int_pre stmt pre