Register allocator: live ranges building part (tested for simple if and while and fixed).