let set_loop_int_pre_bycase stmt_ref pre = Hashtbl.replace loop_int_pre_bycase stmt_ref pre