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.