Semi-Sparse Flow-Sensitive Pointer Analysis