elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/InstanceTaxonomyState.java
Collection<IndexedIndividual> getToRemove() {
		if (taxonomy_ == null) {// TODO: Never set taxonomy_ to null !!!
			// no individuals are in taxonomy
			toRemove_.clear();
			return Collections.emptyList();
		}
		// else
		final int size = pruneToRemove();
		/*
		 * since getting the size of the queue is a linear operation, use the
		 * computed size
		 */
		return Operations.getCollection(toRemove_, size);
	}
Collection<IndexedIndividual> getToRemove() {
		if (taxonomy_ == null) {// TODO: Never set taxonomy_ to null !!!
			// no individuals are in taxonomy
			toRemove_.clear();
			return Collections.emptyList();
		}
		// else
		final int size = pruneToRemove();
		/*
		 * since getting the size of the queue is a linear operation, use the
		 * computed size
		 */
		return Operations.getCollection(toRemove_, size);
	}
Returns collection that contains at least all individuals that are in
taxonomy, but either are removed from ontology or their context became
not saturated.

@return collection that contains at least all individuals that are in
taxonomy, but either are removed from ontology or their context
became not saturated.