let get_keys_exclusive v0 m =
    match m with
    | Top _ -> raise Not_all_keys
    | Map m ->
        M.fold
          (fun k v acc ->
             if not (V.equal v v0)
             then raise Not_all_keys
             else k::acc)
          m
          []