for v' internal node in T' do