(A-UU+6EA5): New abstract node; use `<-denotational' for U+6EA5.