[Ada] Sem_Elab: remove duplicate condition