Decision-tree pruning