for v internal node in T do