let to_varinfo_map vmap =
    fold (fun k v mapacc -> Varinfo.Map.add k v mapacc) vmap Varinfo.Map.empty