for (int i = 0; i < 200; i++) {
BootstrapDocument doc = new BootstrapDocument();
for (int j = 0; j < 20; j++) {
RandomProvider ra = RandomProviderImpl.ofSeed(i * 20 + j);
RandomProvider rb = RandomProviderImpl.ofSeed(i * 20 + j + 1);
DocOp a = RandomDocOpGenerator.generate(ra, p, doc);
DocOp b = RandomDocOpGenerator.generate(rb, p, doc);
doc.consume(a);
assertTrue(eq.equal(a, a));
// The combination of RandomProvider and RandomDocOpGenerator doesn't
// really guarantee this property, but it happens to be true with the
// random seeds that occur here.