sem_res.adb (Resolve_Entry_Call): When an entry has preconditions...