printing the AST