Added then commented out test for a-b pruning; runs too slow