Redirecting to https://leafac.com/publications/towards-practical-higher-order-demand-driven-program-analysis.pdf