For reducers, absorber value replaced by a maximum check function: makes early termination more understandable and composable.