// need to update the branch node count as this is node has been
// added otherwise during back jumping this node can be removed
for( int j = 0; j < abox.getBranches().size(); j++ ) {
// get next branch
Branch branch = abox.getBranches().get( j );
branch.setNodeCount( branch.getNodeCount() + 1 );
}
// track updated and new individuals; this is needed for the
// incremental completion strategy
abox.getIncrementalChangeTracker().addUpdatedIndividual( abox.getIndividual( i ) );