AST Printer updated