Change equals assertion specification