(A-U+2EBDE-itaiji-001): New abstract node; use `<-denotational' for