(A-IWDSU+3ABF): New abstract node.