Affine assertions of indexing benchmarks