α-β pruning example