let pretty fmt o = match o with
  | Unknown ->
      Format.fprintf fmt "@[Unknown@]"
  | Misalign_read o ->
      Format.fprintf fmt "@[Misaligned@ %a@]"
        LocationSetLattice.pretty o
  | Leaf o ->
      Format.fprintf fmt "@[Library function@ %a@]"
        LocationSetLattice.pretty o
  | Merge o ->
      Format.fprintf fmt "@[Merge@ %a@]"
        LocationSetLattice.pretty o
  | Arith o ->
      Format.fprintf fmt "@[Arithmetic@ %a@]"
        LocationSetLattice.pretty o
  | Well ->       Format.fprintf fmt "@[Well@]"