AST printer updated (misc-kb)