Register Allocator: refactoring (no functionality change).