Specs and code for AstNode class