USE-INDEX indexName does not throw error if index is deleted, but there are other indexes beginning with indexName
Procedure containing USE-INDEX idx1 does not throw error if idx1 is deleted from db, if there are other indexes defined which begin with idx1 (such as idx12, idx123).