elk-reasoner/src/main/java/org/semanticweb/elk/reasoner/stages/InstanceTaxonomyState.java
private int pruneToRemove() {
		final Iterator<IndexedIndividual> iter = toRemove_.iterator();
		int size = 0;
		while (iter.hasNext()) {
			final IndexedIndividual cls = iter.next();
			/* @formatter:off
			 * 
			 * Should be pruned when
			 * it is not in taxonomy.
			 * 
			 * @formatter:on
			 */
			final InstanceNode<ElkClass, ElkNamedIndividual> node = taxonomy_
					.getInstanceNode(cls.getElkEntity());
			if (node == null) {
				iter.remove();
				continue;
			}
			// else
			size++;
		}
		return size;
	}
private int pruneToRemove() {
		final Iterator<IndexedIndividual> iter = toRemove_.iterator();
		int size = 0;
		while (iter.hasNext()) {
			final IndexedIndividual cls = iter.next();
			/* @formatter:off
			 * 
			 * Should be pruned when
			 * it is not in taxonomy.
			 * 
			 * @formatter:on
			 */
			final InstanceNode<ElkClass, ElkNamedIndividual> node = taxonomy_
					.getInstanceNode(cls.getElkEntity());
			if (node == null) {
				iter.remove();
				continue;
			}
			// else
			size++;
		}
		return size;
	}
Prunes {@link #toRemove_}.
<p>
<strong>{@code taxonomy_} must not be {@code null}!</strong>

@return The resulting size of {@link #toRemove_}.