(A-cgnU+555A): New abstract node; use `<-denotational' for A-M-03829.