(A-IWDSU+7531): Add `<-denotational@component' for A-IWDSU+20679.