a.addProperty( op, anon1 );
// check consistency
model.prepare();
assertIteratorValues( a.listPropertyValues( op ), new Resource[] { anon1 } );
// check that the update occurred and that the incremental consistency
// was used
assertTrue( !PelletOptions.USE_INCREMENTAL_CONSISTENCY || graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() > 0 );
Individual anon2 = model.createIndividual( C );