(A-cgnU+2D6A5): New abstract node; use `<-denotational' for