Create a new register for every (i.e., color) of an existing register, then transform every instruction of this control flow graph to use the new registers. The new registers have a L2Register.uniqueValue that's the same as its finalIndex.