checkTimer();
if( !abox.doExplanation() && PelletOptions.USE_ADVANCED_CACHING ) {
Timer t = abox.getKB().timers.startTimer( "cache" );
Bool cachedSat = isCachedSat( x );
t.stop();
if( cachedSat.isKnown() ) {
if( cachedSat.isTrue() ) {
if( log.isLoggable( Level.FINE ) )
log.fine( "Stop cached " + x );
mayNeedExpanding.remove( 0 );