AST Printer updated (interactive)