Implemented CopyAndUpdateAssertion