let
set_loop_ext_post stmt_ref post =
Hashtbl
.replace loop_ext_post stmt_ref post