[Ada] Plug small loophole in Generate_Range_Check