Changing a company symbol does nothing for a short position. All shares are entered as book entry and all shorts are based on borrowed shares. When a symbol change occurs it is changed electronically and instantly in the books and all physical shares are exchanged between Cede and co. and the transfer agent. There is never a call in for short positions.
I likewise looked at the allegations of naked shorts and according to SEC and DTCC records there were no fails to deliver in Gecko Systems as of the last half of September. Below is the link you go to to view recorded fails to deliver in stocks.
If a run occurs in a stock where a symbol change is taking place, that run is caused by people buying long (most likely to create an impression of a short squeeze) and not shorts covering. I have lived thru many such events and they never created short squeezes.
Market Data 
Markets 
AI
