In testing with simple types I tend to see a lot of locals that have many conflicts, and if those aren't removed first they kick out a lot of others.    Of course, there might be some so big that none of that matters. We'll have to see how this works in practice..