bug in reg allocator; reassigns vars that are still live