(A-IWDSU+65E3): New abstract node; use `<-denotational' for BUCS+65E3.