let
set_loop_int_post_bycase stmt_ref post =
Hashtbl
.replace loop_int_post_bycase stmt_ref post