AST: optional named child
HasNode: false
Adding node
HasNode: true
Correct node: true