(A-CU+22045): New abstract node; use `<-denotational' for U-00022045.