using assume-unchanged instead