Violations of Best Practice/Dead Code/DeadStoreOfLocalUnread.ql