faster pruning in chart decoding