Pruning Trees by Pool Trellis