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