https://123dok.net/document/yj70krj6-a-general-algorithm-for-data-dependence-analysis.html