Function read_storage_writes 

pub(crate) fn read_storage_writes(
    writes: &[StorageWrite],
    address: Address,
    key: SymWord,
    base: SymWord,
) -> SymWord

Returns the read_storage_writes symbolic expression helper result.