let get_loop_int_post stmt_ref = try Hashtbl.find loop_int_post stmt_ref with _ -> mk_full_pre_or_post()