(A-GT-K02909): New abstract node; use `<-denotational' for