Small refactoring in StateReduced.