This register here would have to be renamed to something else, say Y, And then uses of X later on here, are renamed to Y. Alright, so we're going to insist that whenever we have a definition Of a register in a basic block. 