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