AST Printer updated.