Better printing of the AST.