(A-U+21FFA-itaiji-006): New abstract node; use `<-denotational' for