let set_loop_ext_pre stmt pre = Hashtbl.replace loop_ext_pre stmt pre