From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis