test-assume-unchanged