let pretty fmt d =
match d with
| Top ->
Format.fprintf fmt "Top"
| Value d ->
Pretty_utils.pp_list ~pre:"@[{" ~sep:",@," ~suf:"}@]"
(fun fmt s -> Format.fprintf fmt "%d" s.sid)
fmt (StmtSet.elements d)