Abstract_interp.Lattice_With_Diff