(A-compU+22002): New abstract node; use `<-denotational' for