Extended AST printing