let set_loop_ext_post stmt post = Hashtbl.replace loop_ext_post stmt post