AST printer updated (lib-threads)