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.