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@]"