Data-flow Analysis-Part 2