A Principled Approach to Selective Context Sensitivity for Pointer Analysis