let
set_loop_int_pre stmt_ref pre =
Hashtbl
.replace loop_int_pre stmt_ref pre