(A-GT-00093): New abstract node; use `<-denotational' for A-cgnU+8657;