let hash o = match o with
  | Misalign_read o ->
    2001 +  (LocationSetLattice.hash o)
  | Leaf o ->
    2501 + (LocationSetLattice.hash o)
  | Merge o ->
    3001 + (LocationSetLattice.hash o)
  | Arith o ->
    3557 + (LocationSetLattice.hash o)
  | Well -> 17
  | Unknown -> 97