Enhanced disability premium property test never draws a Kingston claimant with highest-rate DLA care below the top amount #2904

In Kingston upon Thames, meets_council_tax_reduction_enhanced_disability_premium_condition reads is_enhanced_disabled_for_benefits. Unless the inputs supply that flag, its formula needs DLA care of at least 52 times the highest weekly rate. has_highest_dla_sc_award also holds for any positive amount in the HIGHER category, and for an amount no more than £1 a week below the top rate.

With has_highest_dla_sc_award in place of the flag in Kingston's condition, all four tests in test_enhanced_disability_premium_properties.py passed at #2808's head b99e8c594 (K4 in the mutation check). The generator can draw a Kingston claimant with dla_care_highest_part_amount, the HIGHER category at £1,000 a year, who holds the award without the amount, but none of the eight derandomized examples does. Case 25 of enhanced_disability_premium.yaml failed under the swap, because it enters the flag for a claimant with enhanced PIP daily living and no DLA. main at 8a8354fb6 carries the same test file, YAML and variables.

A fixed Kingston example with dla_care_highest_part_amount, which the test checks against its oracle in every year, would catch the swap.