removed unneeded variations of search pruning strategies