SegmentNotFoundException in IndexDefinition.hasMatchingNodeTypeReg

We sometimes see a SegmentNotFoundException when calling IndexDefinition.hasMatchingNodeTypeReg. This can happen after segment store GC was run, but before the index definitions are refreshed. In theory, it should never happen, as the index definitions are refreshed after compaction via LuceneIndexProviderService.registerGCMonitor. But it looks like this method is not called in all cases, or it is called too late / too early.