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