https://1library.org/document/dy4mkk9y-scalable-precise-range-analysis-interval-lattice.html