Redirecting to https://leafac.com/publications/practical-demand-driven-program-analysis-with-recursion.pdf