data flow analysis for program optimization 452807