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
[]