https://uditagarwal.in/understanding-dependency-graphs-for-program-analysis/