(A-compU+51B0): New abstract node; use `<-denotational' for BUCS+51B0.