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)