So we're going to assume the basic blocks are in single assignment form, and if they are, then we're going to know That a definition of a register is the first use of that register in th e block, And so, in particular, we're also ruling out things like this. 