Fixes a bug of alpha-beta pruning.