sem_ch10.adb (Has_With_Clause): If the name of the with clause currently inspected...