AST printer updated (misc-unsafe)