(A-cgnU+7591): New abstract node; use `<-denotational' for BUCS+7591.