private void ObjectInvariant() { Contract.Invariant(this.mapFromOriginaltoCopy != null); Contract.Invariant(this.originalSyncrhonizationInformation != null); }