code: private boolean frontIsSmall() {
  		return frontier.todo.size() + frontier.workbench.approximatedSize() - frontier.workbench.broken.get() <= frontier.requiredFrontSize.get();
  	}
docs: Determines whether the front is small. The front size (in IPs) is obtained by adding the size of the {@link Frontier#todo} list and
  the number of nonbroken workbench entries (i.e., IPs that are in the workbench having at least one nonbroken {@link VisitState} in them).
  The front size is considered to be small if it is smaller than {@link Frontier#requiredFrontSize}.
  
  @return whether the front is small.