https://9dok.net/document/zkw15p2e-improving-dependency-pairs.html