https://123dok.net/document/q5mpdoj7-widening-thresholds-programs-complex-control-graphs.html