Improve lattice definition
Define operators in set lattice
Introduce abstract integer value and lose precision on addresses
Improte abstract int
Add subsumption (but doesn't seem completely correct)