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