(IWDS1-0346): Add `<-denotational@component' for A-IWDSU+51E1.