(A-compU+5DDB): Separate IWDS1-0270; add `<-denotational@component'