(A-MJ057006): New abstract node; use `<-denotational' for A-cgnU+518E.