sem_ch5.adb (Analyze_Loop_Parameter_Specification): If the domain of iteration is...