(A-cgnU+5900): New abstract node; add `<-denotational' for