let is_bottom v =
    let r = equal bottom v in
    assert (match v with Map M.Empty -> r | _ -> not r);
    r