NoSuchElementException -> UnsupportedOperationException
re-saturating new classes during the addition stage, w/o waiting for
taxonomy construction
useless test deleted
initializing removed contexts during the deletion stage. TODO: get rid
of tracking removed contexts in the saturation state, only needed for
taxonomy cleanup