a special validation stage which checks that every class expression
reachable via the saturation state's data structures exists in the index
(i.e. no dead objects)