(A-cgnU+4FDF): New abstract node.