let set_loop_ext_post_bycase stmt_ref post = Hashtbl.replace loop_ext_post_bycase stmt_ref post