Fixed strong update in reaching def analysis. Written out the skeleton
for data dependence graph construction