SaturationGraphValidationStage: check if all reachable indexed class
expressions are in index; check roots of contexts