Reasoner: switching to non-incremental mode clears the taxonomy