let pretty_varinfomap fmt s =
Format.fprintf fmt "@[";
VInfoMap.iter
(fun f n ->
Format.fprintf fmt "%s %s (%d call%s);@ "
f.Cil_types.vname
(if f.vaddrof then "(address taken) " else "")
n (if n > 1 then "s" else ""))
s;
Format.fprintf fmt "@]"