// check that the update occurred and that the incremental consistency
// was used
assertTrue( graph.getKB().timers.getTimer( "isIncConsistent" ).getCount() > 0 );
assertIteratorValues( model.listIndividuals(), new Resource[] { i1, i2, i3, i4 } );
i4.addRDFType( model.createCardinalityRestriction( null, p, 1 ) );
graph.getKB().timers.getTimer( "isIncConsistent" ).reset();
model.prepare();
// check that incremental consistency was not used