(A-IWDSU+5EFB): New abstract node.