added assume-unchanged