AST: improved AST printout when --verbose is used