let add_or_bottom k v m =
    if V.equal v V.bottom
    then M.remove k m
    else M.add k v m