https://123dok.net/document/zx531eow-consit-a-conditioned-program-slicer.html