Including the code for updating PHI nodes in the basic blocks. This is just a check point