https://123dok.net/document/zgw4levy-extension-lazy-abstraction-interpolation-programs-arrays.html