sem_ch8.adb (Analyze_Object_Renaming): Proper checks on incorrect null exclusion...