chapter07 Consistency Checking

[Micha10]

bmi: number[0|50]{1}
decision table:
bmi < 18 | bmi>=18 && bmi < 25 | bmi >= 25 && bmi < 30 | bmi > 30

Should the solver find the missing "bmi == 30" ? It is not mentioned as another bug...