fixed unbounded recursion in SaturationGraphValidationStage