More AST printing