(A-IWDSU+5DDB): Add `<-denotational@component' for A-compU+2D544.