Symbol Elimination in Program Analysis