Data-flow Analysis:Theoretical Foundation-Part 2 and Partial Redundancy Elimination