Tools for debugging register allocator
