let get_loop_int_post_bycase stmt_r = try Hashtbl.find loop_int_post_bycase stmt_r with _ -> mk_full_pre_or_post_bycase()