https://123dok.net/document/zkwok12p-when-interval-analysis-helps-interblock-backtracking.html