let
set_loop_ext_pre_bycase stmt_ref pre =
Hashtbl
.replace loop_ext_pre_bycase stmt_ref pre