(IWDS1-0020): Add `<-denotational@component' for IWDS1-020+021 and