Pruning a tree meaning