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