add comment about assume-unchanged