Redirecting to https://leafac.com/publications/a-set-based-context-model-for-program-analysis.pdf