(A-CB12237): New abstract node; use `<-denotational' for A-M-29675.