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