50   assert(Modules == R.Modules);  in operator ==()
51   assert(Modi == R.Modi);  in operator ==()
52   assert(!isEnd());  in operator ==()
53   assert(!R.isEnd());  in operator ==()
60   assert(isCompatible(R));  in operator <()
73   assert(isCompatible(R));  in operator -()
74   assert(!(*this < R));  in operator -()
80   assert(!R.isEnd());  in operator -()
92   assert(Thisi >= R.Filei);  in operator -()
98   assert(!isEnd());  in operator +=()
101   assert(Filei <= Modules->getSourceFileCount(Modi));  in operator +=()
110   assert(!isUniversalEnd());  in operator -=()
112   assert(N <= Filei);  in operator -=()
137   assert(Modules);  in isEnd()
138   assert(Modi <= Modules->getModuleCount());  in isEnd()
139   assert(Filei <= Modules->getSourceFileCount(Modi));  in isEnd()
228     assert(DescriptorIter != Descriptors.end());  in initializeFileInfo()
236   assert(DescriptorIter == Descriptors.end());  in initializeFileInfo()
237   assert(NextFileIndex == NumSourceFiles);  in initializeFileInfo()
255   assert(Modi < getModuleCount());  in getModuleDescriptor()
258   assert(Iter != Descriptors.end());  in getModuleDescriptor()