Remove assume-unchanged