code for PHI nodes : If all incoming expressions have same value, then the PHI node also gets that value
.