(A-BC-86F7): New abstract node; use `<-denotational' for A-cgnBC-8DBA.