While getting the collection and modified parts from a specific version, an invariant may fail unexpectedly. At the moment it is not clear the scenario that could lead to this failure, so it is considered necessary to instrument this part of the code in order to have more information for the analysis in case of reoccurrences.