Adding note about assume-unchanged