(A-IWDSU+215D5): New abstract node; use `<-denotational@component' for