https://azpdf.net/document/zlgejkw2-program-dependence-graph-use-optimization.html