if( bound.containsAll( arguments ) ) {
staticCost = estimate.getCost( KBOperation.IS_TYPE );
branchCount = 1;
}
else {
Core core = (Core) atom;
int n = core.getDistVars().size();
double b = Math.pow( estimate.avgInstancesPerClass( false ), n );
branchCount = b;
switch ( QueryEngine.getStrategy( atom ) ) {