Add one more sanity check in SourceManager::getFileIDLoaded().