pruning

Referenced in:

• move-ordering
• pruning