added toggle-able assume-unchanged