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